Partial evaluation, self-application and types
- 11 December 2005
- book chapter
- Published by Springer Nature
- p. 639-659
- https://doi.org/10.1007/bfb0032064
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- A self-applicable partial evaluator for the lambda calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Mix: A self-applicable partial evaluator for experiments in compiler generationHigher-Order and Symbolic Computation, 1989
- Partial evaluation of pattern matching in stringsInformation Processing Letters, 1989
- Automatic binding time analysis for a typed λ-calculusPublished by Association for Computing Machinery (ACM) ,1988
- Semantics-directed code generationPublished by Association for Computing Machinery (ACM) ,1985
- An experiment in partial evaluation: The generation of a compiler generatorLecture Notes in Computer Science, 1985
- An overview of computational complexityCommunications of the ACM, 1983
- Mixed computation: potential applications and problems for studyTheoretical Computer Science, 1982
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Advice on structuring compilers and proving them correctPublished by Association for Computing Machinery (ACM) ,1973