Krivine machine
Results: 3
| # | Item |
|---|---|
1 | Deriving the Full-Reducing Krivine Machine from the Small-Step Operational Semantics of Normal Order Álvaro García-Pérez Pablo NogueiraAdd to Reading ListSource URL: babel.ls.fi.upm.es- Date: 2016-05-31 08:00:52 |
2 | From Krivine’s machine to the Caml implementations Xavier Leroy INRIA Rocquencourt 1Add to Reading ListSource URL: pauillac.inria.fr- Date: 2005-05-18 04:32:58 |
3 | From Math to Machine A formal derivation of an executable Krivine Machine Wouter Swierstra Brouwer Seminar Friday, October 7, 2011Add to Reading ListSource URL: www.staff.science.uu.nlLanguage: English - Date: 2016-03-22 06:34:53 |