Travelled to:1 × Denmark
1 × Germany
1 × The Netherlands
1 × USA
Collaborated with:E.Visser W.Taha T.Sheard A.P.Tolmach P.Lescanne K.H.Rose E.Moggi
Talks about:strategi (2) program (2) rewrit (2) substitut (1) explicit (1) simpler (1) languag (1) express (1) axiomat (1) safeti (1)
Person: Zine-El-Abidine Benaissa
DBLP: Benaissa:Zine=El=Abidine
Contributed to:
1999
1998
1998
1998
1996Wrote 5 papers:
- ESOP-1999-MoggiTBS #ml
- An Idealized MetaML: Simpler, and More Expressive (EM, WT, ZEAB, TS), pp. 193–207.
- ICALP-1998-TahaBS #axiom #multi #programming #type safety
- Multi-Stage Programming: Axiomatization and Type Safety (WT, ZEAB, TS), pp. 918–929.
- ICFP-1998-VisserBT
- Building Program Optimizers with Rewriting Strategies (EV, ZEAB, APT), pp. 13–26.
- WRLA-1998-VisserB
- A core language for rewriting (EV, ZEAB), pp. 422–441.
- PLILP-1996-BenaissaLR #modelling #recursion #reduction #using
- Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution (ZEAB, PL, KHR), pp. 393–407.