Efficient multi-level generating extensions for program specialization
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 259-278
- https://doi.org/10.1007/bfb0026825
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- On the generation of specializersJournal of Functional Programming, 1994
- Hand-writing program generator generatorsPublished by Springer Nature ,1994
- Efficient analyses for realistic off-line partial evaluationJournal of Functional Programming, 1993
- Two-Level Functional LanguagesPublished by Cambridge University Press (CUP) ,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
- Type inference with recursive types: Syntax and semanticsInformation and Computation, 1991
- Efficient type inference for higher-order binding-time analysisPublished by Springer Nature ,1991
- From interpreting to compiling binding timesPublished by Springer Nature ,1990
- A partial evaluator, and its use as a programming toolArtificial Intelligence, 1977