Prescriptive Frameworks for Multi-Level Lambda-Calculi
- 1 August 1997
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 32 (12) , 193-202
- https://doi.org/10.1145/258993.259018
Abstract
Two-level λ-calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose different demands on the exact details of the two-level structure and the corresponding inference rules. In a previous paper we have developed a framework that offers firm guidelines on what we regard as "good" definitions of multi-level lambda-calculi.Keywords
This publication has 5 references indexed in Scilit:
- A modal analysis of staged computationPublished by Association for Computing Machinery (ACM) ,1996
- Two-Level Functional LanguagesPublished by Cambridge University Press (CUP) ,1992
- Two-level semantics and abstract interpretationTheoretical Computer Science, 1989
- Two-level semantics and code generationTheoretical Computer Science, 1988
- Automatic binding time analysis for a typed λ-calculusScience of Computer Programming, 1988