From natural semantics to C: A formal derivation of two STG machines.

Saved in:

Bibliographic Details
Title:	From natural semantics to C: A formal derivation of two STG machines.
Authors:	DE LA ENCINA, ALBERTO¹ albertoe@sip.ucm.es, PEÑA, RICARDO¹ ricardo@sip.ucm.es
Source:	Journal of Functional Programming. Jan2009, Vol. 19 Issue 1, p47-94. 48p.
Database:	Mathematics Source

Description
ISSN:	09567968
DOI:	10.1017/S0956796808006746