- A Computational Interpretation of Compact Closed Categories: Reversible Programming with Negative and Fractional Types Chao-Hong Chen Amr Sabry Tue 05 January 2021
- Abstracting Abstract Machines David Van Horn Matthew Might Fri 28 March 2014
- An Abstract Machine Based on Linear Logic and Exiplicit Substitutions Francisco J. Alberti Tue 07 January 2014
- From Interpreter to Compiler and Virtual Machine: A Functional Derivation Mads Sig Ager Dariusz Biernacki Olivier Danvy Jan Midtgaard Tue 09 July 2013
- Sequent Calculus and Abstract Machines Aaron Bohannon Tue 09 July 2013
- Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine Simon L. Peyton Jones Tue 09 July 2013
- A systematic study of functional language implementations Rémi Douence Pascal Fradet Wed 26 June 2013
Library Size: 13G (7 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
