From natural semantics to C: A formal derivation of two STG machines.
Saved in:
| Title: | From natural semantics to C: A formal derivation of two STG machines. |
|---|---|
| Authors: | DE LA ENCINA, ALBERTO1 albertoe@sip.ucm.es, PEÑA, RICARDO1 ricardo@sip.ucm.es |
| Source: | Journal of Functional Programming. Jan2009, Vol. 19 Issue 1, p47-94. 48p. |
| Database: | Mathematics Source |
Be the first to leave a comment!
