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

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

ISSN: 0956-7968,  1469-7653

Any de publicació: 2009

Volum: 19

Número: 1

Pàgines: 47-94

Tipus: Article

DOI: 10.1017/S0956796808006746 GOOGLE SCHOLAR
Font de les dades: Scopus