- CSB - MetaPress - Google - Bing - Yahoo
 | 1999 | |
|---|---|---|
| c5 |      | Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic: DSL implementation using staging and monads. DSL 1999: 81-94 |
| c4 | | Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard: An Idealized MetaML: Simpler, and More Expressive. ESOP 1999: 193-207 |
| 1998 | ||
| j2 | | Eelco Visser, Zine-El-Abidine Benaissa: A core language for rewriting. Electr. Notes Theor. Comput. Sci. 15: 422-441 (1998) |
| c3 | | Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard: Multi-Stage Programming: Axiomatization and Type Safety. ICALP 1998: 918-929 |
| c2 | | Eelco Visser, Zine-El-Abidine Benaissa, Andrew P. Tolmach: Building Program Optimizers with Rewriting Strategies. ICFP 1998: 13-26 |
| 1996 | ||
| j1 | | 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) |
| c1 | | 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 | Daniel Briaud | |
| 2 | Pierre Lescanne | |
| 3 | Eugenio Moggi | |
| 4 | Emir Pasalic | |
| 5 | Kristoffer Høgsbro Rose (Kristoffer H. Rose) | |
| 6 | Jocelyne Rouyer-Degli (Jocelyne Rouyer) | |
| 7 | Tim Sheard | |
| 8 | Walid Taha | |
| 9 | Andrew P. Tolmach | |
| 10 | Eelco Visser |
Colors in the list of coauthors
Last update Sun May 26 09:58:03 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page