Macros as multi-stage computations
- 1 October 2001
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 36 (10) , 74-85
- https://doi.org/10.1145/507635.507646
Abstract
No abstract availableThis publication has 32 references indexed in Scilit:
- A typed context calculusTheoretical Computer Science, 2001
- Computing With Contexts A simple approachElectronic Notes in Theoretical Computer Science, 1998
- What is a purely functional language?Journal of Functional Programming, 1998
- Multi-stage programming: axiomatization and type safetyPublished by Springer Nature ,1998
- The VLISP verified PreScheme compilerHigher-Order and Symbolic Computation, 1995
- Efficient multi-level generating extensions for program specializationPublished by Springer Nature ,1995
- Syntactic abstraction in schemeHigher-Order and Symbolic Computation, 1993
- On the expressive power of programming languagesScience of Computer Programming, 1991
- Two-level semantics and code generationTheoretical Computer Science, 1988
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975