| 1999 |
|---|
| 7 | EE | Tim Sheard,
Zine-El-Abidine Benaissa,
Emir Pasalic:
DSL implementation using staging and monads.
DSL 1999: 81-94 |
| 6 | EE | Eugenio Moggi,
Walid Taha,
Zine-El-Abidine Benaissa,
Tim Sheard:
An Idealized MetaML: Simpler, and More Expressive.
ESOP 1999: 193-207 |
| 1998 |
|---|
| 5 | EE | Walid Taha,
Zine-El-Abidine Benaissa,
Tim Sheard:
Multi-Stage Programming: Axiomatization and Type Safety.
ICALP 1998: 918-929 |
| 4 | EE | Eelco Visser,
Zine-El-Abidine Benaissa,
Andrew P. Tolmach:
Building Program Optimizers with Rewriting Strategies.
ICFP 1998: 13-26 |
| 3 | EE | Eelco Visser,
Zine-El-Abidine Benaissa:
A core language for rewriting.
Electr. Notes Theor. Comput. Sci. 15: (1998) |
| 1996 |
|---|
| 2 | | Zine-El-Abidine Benaissa,
Pierre Lescanne,
Kristoffer Høgsbro Rose:
Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution.
PLILP 1996: 393-407 |
| 1 | | 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): 699-722 (1996) |
