Normalization and Partial Evaluation
- 20 September 2002
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 137-192
- https://doi.org/10.1007/3-540-45699-6_4
Abstract
No abstract availableKeywords
This publication has 32 references indexed in Scilit:
- Program extraction from normalization proofsPublished by Springer Science and Business Media LLC ,2005
- Reduction-free normalisation for a polymorphic systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Normalization by evaluation for typed lambda calculus with coproductsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Cayenne—a language with dependent typesPublished by Association for Computing Machinery (ACM) ,1998
- Normalization and the Yoneda embeddingMathematical Structures in Computer Science, 1998
- Intuitionistic model constructions and normalization proofsMathematical Structures in Computer Science, 1997
- Tutorial notes on partial evaluationPublished by Association for Computing Machinery (ACM) ,1993
- An inverse of the evaluation functional for typed lambda -calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1991
- Functional Programming and Lambda CalculusPublished by Elsevier BV ,1990
- The Type Free Lambda CalculusPublished by Elsevier BV ,1977