- Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems Maja Kirkeby Robert Gluck Mon 29 March 2021
- 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
- Partial Evaluation in Aircraft Crew Planning Lennart Augustsson Tue 03 December 2013
- A systematic study of functional language implementations Rémi Douence Pascal Fradet Wed 26 June 2013
Library Size: 13G (4 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
