Two Flavors of Offine Partial Evaluation
- 30 November 1998
- book chapter
- Published by Springer Nature
- p. 188-205
- https://doi.org/10.1007/3-540-49366-2_15
Abstract
No abstract availableKeywords
This publication has 32 references indexed in Scilit:
- Termination analysis for offline partial evaluation of a higher order functional languagePublished by Springer Nature ,1996
- Hand-writing program generator generatorsPublished by Springer Nature ,1994
- Efficient analyses for realistic off-line partial evaluationJournal of Functional Programming, 1993
- Tutorial notes on partial evaluationPublished by Association for Computing Machinery (ACM) ,1993
- Improving binding times without explicit CPS-conversionPublished by Association for Computing Machinery (ACM) ,1992
- Automatic autoprojection of higher order recursive equationsScience of Computer Programming, 1991
- Automatic autoprojection of recursive equations with global variables and abstract data typesScience of Computer Programming, 1991
- Soft typingPublished by Association for Computing Machinery (ACM) ,1991
- An inverse of the evaluation functional for typed lambda -calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1991
- Polyvariant mixed computation for analyzer programsActa Informatica, 1984