Zine-El-Abidine Benaissa

According to our database, Zine-El-Abidine Benaissa authored at least 7 papers between 1996 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

An Idealized MetaML: Simpler, and More Expressive.

Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard

Proceedings of the Programming Languages and Systems, 1999

DSL implementation using staging and monads.

Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic

Proceedings of the Second Conference on Domain-Specific Languages (DSL '99), 1999

1998

A core language for rewriting.

Eelco Visser, Zine-El-Abidine Benaissa

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Building Program Optimizers with Rewriting Strategies.

Eelco Visser, Zine-El-Abidine Benaissa, Andrew P. Tolmach

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

Multi-Stage Programming: Axiomatization and Type Safety.

Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

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

Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution.

Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer Høgsbro Rose

Proceedings of the Programming Languages: Implementations, 1996