Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution. - Zine-El-Abidine Benaissa; Pierre Lescanne; Kristoffer Høgsbro Rose (PLILP, 1996)

lambda-nu, A Calculus of Explicit Substitutions which Preserves Strong Normalisation. - Zine-El-Abidine Benaissa; Daniel Briaud; Pierre Lescanne; Jocelyne Rouyer-Degli (J. Funct. Program., 1996)

Multi-Stage Programming: Axiomatization and Type Safety. - Walid Taha; Zine-El-Abidine Benaissa; Tim Sheard (ICALP, 1998)

Building Program Optimizers with Rewriting Strategies. - Eelco Visser; Zine-El-Abidine Benaissa; Andrew P. Tolmach (ICFP, 1998)

A core language for rewriting. - Eelco Visser; Zine-El-Abidine Benaissa (WRLA, 1998)

DSL implementation using staging and monads. - Tim Sheard; Zine-El-Abidine Benaissa; Emir Pasalic (DSL, 1999)

An Idealized MetaML: Simpler, and More Expressive. - Eugenio Moggi; Walid Taha; Zine-El-Abidine Benaissa; Tim Sheard (ESOP, 1999)