Quasiquotation in Lisp (1999)

Cached

Download Links

by Alan Bawden
Venue:O. Danvy, Ed., University of Aarhus, Dept. of Computer Science
Citations:40 - 0 self

Documents Related by Co-Citation

185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
80 A temporal-logic approach to binding-time analysis – Rowan Davies - 1996
207 Type-directed partial evaluation – Olivier Danvy - 1996
239 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999
149 Hygienic macro expansion – Eugene E Kohlbecker, Daniel P Friedman, Matthias Felleisen, Bruce F Duba - 1986
222 Revised 5 report on the algorithmic language Scheme – Richard Kelsey, William Clinger, Jonathan Rees (editors, H. Abelson, R. K. Dybvig, C. T. Haynes, G. J. Rozas, D. H. Bartley, R. Halstead, D. Oxley, G. J. Sussman, G. Brooks, C. Hanson, K. M. Pitman, M. Wand - 1998
86 Multi-Stage Programming: Its Theory and Applications – Walid Taha - 1999
27 Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming – Cristiano Calcagno , Eugenio Moggi, Walid Taha - 2000
104 `C: A Language for High-Level, Efficient, and Machine-independent Dynamic Code Generation – Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek - 1996
46 Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection – Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy - 2003
72 Accomplishments and Research Challenges in Meta-Programming – Tim Sheard - 2000
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
26 A Semantic Account of Type-Directed Partial Evaluation – Andrzej Filinski - 1999
30 A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract) – Walid Taha - 2000
45 and Hanne Riis Nielson. Two-Level Functional Languages, volume 34 of Cambridge Tracts – Flemming Nielson - 1992
33 A Computational Formalization for Partial Evaluation – John Hatcliff, Olivier Danvy, I Ff, Ol - 1997
20 Available online at http://www.dina.kvl.dk/~sestoft/pebook – Neil D Jones, Carsten K Gomard, Peter Sestoft - 1993
22 Logical Modalities and Multi-Stage Programming – Zine El-abidine Benaissa, Eugenio Moggi, Walid Taha, Tim Sheard - 1999
69 G.: The Jastadd Extensible Java Compiler – T Ekman, Hedin