@inproceedings{VisserBT98,
  title = {Building Program Optimizers with Rewriting Strategies},
  author = {Eelco Visser and Zine-El-Abidine Benaissa and Andrew P. Tolmach},
  year = {1998},
  doi = {10.1145/289423.289425},
  url = {http://doi.acm.org/10.1145/289423.289425},
  tags = {programming languages, optimization, semantics, rule-based, meta programming, graph transformation, variable binding, Stratego/XT, transformation language, term rewriting, composition, graph-rewriting, rules, C++, program optimization, Meta-Environment, higher-order transformations, rewriting, rewriting strategies, transformation, Stratego, program transformation},
  researchr = {https://researchr.org/publication/VisserBT98},
  cites = {0},
  citedby = {5},
  pages = {13-26},
  booktitle = {Proceedings of the third ACM SIGPLAN international conference on Functional programming},
  editor = {Matthias Felleisen and Paul Hudak and Christian Queinnec},
  address = {Baltimore, Maryland, United States},
  publisher = {ACM},
}

@inproceedings{MoggiTBS99,
  title = {An Idealized MetaML: Simpler, and More Expressive},
  author = {Eugenio Moggi and Walid Taha and Zine-El-Abidine Benaissa and Tim  Sheard},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1576/15760193.htm},
  researchr = {https://researchr.org/publication/MoggiTBS99},
  cites = {0},
  citedby = {0},
  pages = {193-207},
  booktitle = {Programming Languages and Systems, 8th European Symposium on Programming, ESOP 99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings},
  editor = {S. Doaitse Swierstra},
  volume = {1576},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65699-5},
}

@article{BenaissaBLR96,
  title = {lambda-nu, A Calculus of Explicit Substitutions which Preserves Strong Normalisation},
  author = {Zine-El-Abidine Benaissa and Daniel Briaud and Pierre Lescanne and Jocelyne Rouyer-Degli},
  year = {1996},
  researchr = {https://researchr.org/publication/BenaissaBLR96},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {6},
  number = {5},
  pages = {699-722},
}

@article{VisserB98,
  title = {A core language for rewriting},
  author = {Eelco Visser and Zine-El-Abidine Benaissa},
  year = {1998},
  doi = {10.1016/S1571-0661(05)80027-1},
  url = {http://dx.doi.org/10.1016/S1571-0661(05)80027-1},
  tags = {rule-based, SDF, graph transformation, traversal, transformation language, term rewriting, graph-rewriting, rules, transformation system, abstraction, rewriting, rewriting strategies, ASF+SDF, transformation},
  researchr = {https://researchr.org/publication/VisserB98},
  cites = {0},
  citedby = {1},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {15},
  pages = {422-441},
}

@inproceedings{331975,
  title = {DSL implementation using staging and monads},
  author = {Sheard, Tim  and Zine-El-Abidine Benaissa and Pasalic, Emir},
  year = {1999},
  doi = {10.1145/331960.331975},
  url = {http://doi.acm.org/10.1145/331960.331975},
  tags = {DSL},
  researchr = {https://researchr.org/publication/331975},
  cites = {0},
  citedby = {0},
  booktitle = {PLAN '99: Proceedings of the 2nd conference on Domain-specific languages},
  address = {New York, NY, USA},
  publisher = {ACM},
  isbn = {1-58113-255-7},
}

@inproceedings{TahaBS98,
  title = {Multi-Stage Programming: Axiomatization and Type Safety},
  author = {Walid Taha and Zine-El-Abidine Benaissa and Tim  Sheard},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1443/14430918.htm},
  tags = {programming},
  researchr = {https://researchr.org/publication/TahaBS98},
  cites = {0},
  citedby = {0},
  pages = {918-929},
  booktitle = {Automata, Languages and Programming, 25th International Colloquium, ICALP 98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
  editor = {Kim Guldstrand Larsen and Sven Skyum and Glynn Winskel},
  volume = {1443},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64781-3},
}

@inproceedings{SheardBP99,
  title = {DSL implementation using staging and monads},
  author = {Tim  Sheard and Zine-El-Abidine Benaissa and Emir Pasalic},
  year = {1999},
  doi = {10.1145/331960.331975},
  url = {http://doi.acm.org/10.1145/331960.331975},
  tags = {DSL},
  researchr = {https://researchr.org/publication/SheardBP99},
  cites = {0},
  citedby = {1},
  pages = {81-94},
  booktitle = {DSL},
}

@inproceedings{BenaissaLR96,
  title = {Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution},
  author = {Zine-El-Abidine Benaissa and Pierre Lescanne and Kristoffer Høgsbro Rose},
  year = {1996},
  tags = {modeling},
  researchr = {https://researchr.org/publication/BenaissaLR96},
  cites = {0},
  citedby = {0},
  pages = {393-407},
  booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP 96, Aachen, Germany, September 24-27, 1996, Proceedings},
  editor = {Herbert Kuchen and S. Doaitse Swierstra},
  volume = {1140},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61756-6},
}