- Systematic abstraction of abstract machines David Van Horn Matthew Might Mon 24 April 2017
- Alternating Parity Krivine Automata Florian Bruse Tue 28 June 2016
- The graphical Krivine machine Sylvain Lippi Tue 09 July 2013
- An abstract framework for environment machines P.-L. Curien Wed 26 June 2013
- Game semantics and abstract machines V. Danos H. Herbelin L. Regnier Wed 26 June 2013
- Execution Time of lambda-Terms via Denotational Semantics and Intersection Types Daniel de Carvalho Mon 24 June 2013
- An abstract machine for Lambda-terms normalization P. Crégut Mon 17 June 2013
- A functional correspondence between call-by-need evaluators and lazy abstract machines Mads Sig Ager Olivier Danvy Jan Midtgaard Mon 17 June 2013
- A functional correspondence between evaluators and abstract machines Mads Sig Ager Dariusz Biernacki Olivier Danvy Jan Midtgaard Mon 17 June 2013
- New Developments in Environment Machines Maribel Fernandez Nikolaos Siafakas Mon 29 April 2013
- TIM: A simple, lazy abstract machine to execute supercombinators John Fairbairn Stuart Wray Mon 29 April 2013
- Deriving a lazy abstract machine Peter Sestoft Mon 29 April 2013
- Improving the lazy Krivine machine Daniel P. Friedman Abdulaziz Ghuloum Jeremy G. Siek Onnie Lynn Winebarger Tue 16 April 2013
- Classical logic, continuation semantics and abstract machines Th. Streicher B. Reus Tue 16 April 2013
- From Continuation Passing Style to Krivine's Abstract Machine Peter Selinger Tue 16 April 2013
- From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine Wouter Swierstra Tue 16 April 2013
- Explaining the lazy Krivine machine using explicit substitution and addresses Frédéric Lang Tue 16 April 2013
- The next 700 Krivine Machines Rémi Douence Pascal Fradet Tue 16 April 2013
- Boehm trees, Krivine machine and the taylor expansion of lambda-terms Thomas Ehrhard Laurent Regnier Tue 16 April 2013
Library Size: 13G (19 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
