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

  1. De La Encina, A.
  2. Pẽa, R.
Revue:
Journal of Functional Programming

ISSN: 0956-7968 1469-7653

Année de publication: 2009

Volumen: 19

Número: 1

Pages: 47-94

Type: Article

DOI: 10.1017/S0956796808006746 GOOGLE SCHOLAR