Self-Applicable online partial evaluation of the pure lambda calculus

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn Part F129370, Issue , 1995, Pages 39-44

  Mogensen, Torben E ^a  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL MECHANICS; DIFFERENTIATION (CALCULUS); SEMANTICS;

BINDING TIME ANALYSIS; DECISION PROBLEMS; FIXED POINT OPERATOR; LAMBDA CALCULUS; OFFLINE PARTIAL EVALUATION; PARTIAL EVALUATION;

CALCULATIONS;

EID: 17144379189     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/215465.215469     Document Type: Conference Paper

References (10)

1. [Glu91] R. Gliick, Towards Multiple Self-Application, Proceedings of PEPM'91, pp: 309-320, ACM Press 1991
2. [Glii94] R. Gliick, Work in progress.
3. [Jon93] N.D. Jones, C.K. Gomard, P. Sestoft, Online, offline and self-application, Partial evaluation and automatic program generation, pp: 144-160, Prentice Hall 1993
4. [Lau91] J. Launchbury, A strongly typed self-applicable partial evaluator, Functional Programming and Computer Architecture, August 1991, pp: 145-164 Springer Verlag LNCS 523, 1991.
5. [Mog90] T.JE. Mogensen, Partially evaluating a lambda calculus reducer, unpublished 1990.
6. [Mog92a] T.JE. Mogensen, Efficient self-interpretation in lambda calculus, Journal of Functional Programming 2 (3) July 1992, pp: 345-364, Cambridge University Press 1992.
7. [Mog92b] T.M. Mogensen, Self-applicable partial evaluation for lambda calculus, Proceedings of PEPM'92, pp: 116-121, Yale University Tech Report 1992.
8. [Pfe88] Pfenning, F. and Elliot, C. Higher-order abstract syntax, Proceedings of the ACM-SIGPLAN Conference on Programming Language Design and Implementation, pp: 199-208, ACM Press 1988.
9. [Ruf93] , E. Ruf, D. Weise, On the Specialization of Online Program Specializers, Journal of Functional Programming 3 (3) July 1993, pp: 251-280, Cambridge University Press 1993.
10. [Wei91] D. Weise, R. Coneybeare, E. Ruf, S. Seligman, Automatic online program specialization, Functional Programming and Computer Architecture, August 1991, pp: 165-191 Springer Verlag LNCS 523, 1991.