- Definitional interpreters for higher-order programming languages John C. Reynolds Tue 18 June 2013
- Control operators, the SECD-machine, and the lambda-calculus Matthias Felleisen Daniel P. Friedman Mon 11 March 2013
Library Size: 13G (2 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
