A strongly-typed self-applicable partial evaluator
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 145-164
- https://doi.org/10.1007/3540543961_8
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A theory of incremental computation and its applicationPublished by Association for Computing Machinery (ACM) ,1991
- A partial evaluator for the untyped lambda-calculusJournal of Functional Programming, 1991
- Partial evaluation of pattern matching in stringsInformation Processing Letters, 1989
- Dynamic typing in a statically-typed languagePublished by Association for Computing Machinery (ACM) ,1989
- A self-applicable partial evaluator for term rewriting systemsPublished by Springer Nature ,1989
- Mixed computation of Prolog programsNew Generation Computing, 1988
- New insights into partial evaluation: the SCHISM experimentPublished by Springer Nature ,1988
- An experiment in partial evaluation: The generation of a compiler generatorLecture Notes in Computer Science, 1985
- Reflection and semantics in LISPPublished by Association for Computing Machinery (ACM) ,1984
- A compiler for lazy MLPublished by Association for Computing Machinery (ACM) ,1984