A Semantic Account of Type-Directed Partial Evaluation
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 378-395
- https://doi.org/10.1007/10704567_23
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Program extraction from normalization proofsPublished by Springer Nature ,2005
- Computational lambda-calculus and monadsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- An Idealized MetaML: Simpler, and More ExpressivePublished by Springer Nature ,1999
- Two Flavors of Offine Partial EvaluationPublished by Springer Nature ,1998
- Intuitionistic model constructions and normalization proofsMathematical Structures in Computer Science, 1997
- A modal analysis of staged computationPublished by Association for Computing Machinery (ACM) ,1996
- Type-directed partial evaluationPublished by Association for Computing Machinery (ACM) ,1996
- Semantics-based compiling: A case study in type-directed partial evaluationPublished by Springer Nature ,1996
- Representing monadsPublished by Association for Computing Machinery (ACM) ,1994
- An inverse of the evaluation functional for typed lambda -calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1991