- Compiling Untyped Lambda Calculus to Lower-level Code by Game Semantics and Partial Evaluation (Invited Paper) Daniil Berezun Neil D. Jones Sun 21 May 2017
- The derivation of an algorithm for program specialisation John Gallagher Maurice Bruynooghe Wed 12 March 2014
- Partial Evaluation in Aircraft Crew Planning Lennart Augustsson Tue 03 December 2013
- Lambda-dropping: transforming recursive equations into programs with block structure Olivier Danvy Ulrik P. Schultz Thu 02 May 2013
Library Size: 13G (4 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
