Partial Evaluators for the Lambda Calculus

Neil D. Jones, Carsten K. Gomard, Anders Bondorf, Olivier Danvy and Torben Ć. Mogensen. "A Self-Applicable Partial Evaluator for the Lambda Calculus". 1990 International Conference on Computer Languages. March 1990. Citation.
Kenichi Asai, Hidehiko Masuhara and Akinori Yonezawa. "Partial Evaluation of Call-by-value Lambda-calculus with Side-effects". ACM SIGPLAN Conference on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97). June 1997. Available online: ps. Citation.
Kenichi Asai, Hidehiko Masuhara and Akinori Yonezawa. "Partial Evaluation of Call-by-value lambda-calculus with Side-effects". University of Tokyo. 96-04. November 1996. Available online: ps. Citation.
Carsten K. Gomard and Neil D. Jones. "A Partial Evaluator for the Untyped Lambda Calculus". DIKU. D-15. January 1991. Available online: ps. Citation.
Carsten K. Gomard and Neil D. Jones. "Partial evaluation of lambda calculus". 1998 DIKU International Summerschool. LNCS 1706. 1999. Available online: ps pdf. Citation.
Torben Ć. Mogensen. "Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus". Partial Evaluation and Semantics-Based Program Manipulation, PEPM '95. 1995. Available online: ACM Digital Library. Citation.
Torben Ć. Mogensen. "Self-applicable Partial Evaluation for Pure Lambda Calculus". Partial Evaluation and Semantics-based Program Manipulation. 1992. Available online: ps pdf. Citation.

Last modified: Sunday, January 22nd, 2006 5:39:40pm
HTML generated using WebIt!.