Zine-El-Abidine Benaissa

Publication Activity (10 Years)

Years Active: 1996-1999
Publications (10 Years): 0

Publications

Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic
DSL implementation using staging and monads. DSL (1999)
Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard
An Idealized MetaML: Simpler, and More Expressive. ESOP (1999)
Eelco Visser, Zine-El-Abidine Benaissa, Andrew P. Tolmach
Building Program Optimizers with Rewriting Strategies. ICFP (1998)
Eelco Visser, Zine-El-Abidine Benaissa
A core language for rewriting. WRLA (1998)
Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard
Multi-Stage Programming: Axiomatization and Type Safety. ICALP (1998)
Zine-El-Abidine Benaissa, Daniel Briaud, Pierre Lescanne, Jocelyne Rouyer-Degli
lambda-nu, A Calculus of Explicit Substitutions which Preserves Strong Normalisation. J. Funct. Program. 6 (5) (1996)
Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer Høgsbro Rose
Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution. PLILP (1996)