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

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

ISSN: 0956-7968,  1469-7653

Year of publication: 2009

Volume: 19

Issue: 1

Pages: 47-94

Type: Article

DOI: 10.1017/S0956796808006746 GOOGLE SCHOLAR
Data source: Scopus