A self-applicable partial evaluator for the lambda calculus

Publisher Website

4 December 2002

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/iccl.1990.63760

Abstract

No abstract available

Keywords

This publication has 15 references indexed in Scilit:

Automatic autoprojection of higher order recursive equations
Published by Springer Nature ,1990
Mix: A self-applicable partial evaluator for experiments in compiler generation
Higher-Order and Symbolic Computation, 1989
A self-applicable partial evaluator for term rewriting systems
Published by Springer Nature ,1989
Mixed computation of Prolog programs
New Generation Computing, 1988
An experiment in partial evaluation: The generation of a compiler generator
Lecture Notes in Computer Science, 1985
A semantic prototyping system
Published by Association for Computing Machinery (ACM) ,1984
Semantics-directed machine architecture
Published by Association for Computing Machinery (ACM) ,1982
The use of metasystem transition in theorem proving and program optimization
Lecture Notes in Computer Science, 1980
A partial evaluator, and its use as a programming tool
Artificial Intelligence, 1977
Incremental Computation
Published by Elsevier ,1967