The SCEAS System
Navigation Menu

Search the dblp DataBase


Zine-El-Abidine Benaissa: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic
    DSL implementation using staging and monads. [Citation Graph (0, 0)][DBLP]
    DSL, 1999, pp:81-94 [Conf]
  2. Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard
    An Idealized MetaML: Simpler, and More Expressive. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:193-207 [Conf]
  3. Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard
    Multi-Stage Programming: Axiomatization and Type Safety. [Citation Graph (0, 0)][DBLP]
    ICALP, 1998, pp:918-929 [Conf]
  4. Eelco Visser, Zine-El-Abidine Benaissa, Andrew P. Tolmach
    Building Program Optimizers with Rewriting Strategies. [Citation Graph (0, 0)][DBLP]
    ICFP, 1998, pp:13-26 [Conf]
  5. Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer Høgsbro Rose
    Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution. [Citation Graph (0, 0)][DBLP]
    PLILP, 1996, pp:393-407 [Conf]
  6. Eelco Visser, Zine-El-Abidine Benaissa
    A core language for rewriting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  7. Zine-El-Abidine Benaissa, Daniel Briaud, Pierre Lescanne, Jocelyne Rouyer-Degli
    lambda-nu, A Calculus of Explicit Substitutions which Preserves Strong Normalisation. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1996, v:6, n:5, pp:699-722 [Journal]

Search in 0.022secs, Finished in 0.023secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002