Partial Evaluation for the Lambda Calculus - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Neil D. Jones, Carsten K. Gomard, Peter Sestoft. Partial Evaluation for the Lambda Calculus. In John Hatcliff, Torben Æ. Mogensen, Peter Thiemann, editors, Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998. Volume 1706 of Lecture Notes in Computer Science, pages 203-220, Springer, 1998. [doi]

The following publications are possibly variants of this publication:

A Self-Applicable Partial Evaluator for the Lambda CalculusNeil D. Jones, Carsten K. Gomard, Anders Bondorf, Olivier Danvy, Torben Æ. Mogensen. iccl 1990: 49-58 [doi]

A Partial Evaluator for the Untyped lambda-CalculusCarsten K. Gomard, Neil D. Jones. JFP, 1(1):21-69, 1991. [doi]

A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and PragmaticsCarsten K. Gomard. TOPLAS, 14(2):147-172, 1992. [doi]

runs on WebDSL