Found: 1
Select item for more details and to access through your institution.
From natural semantics to C: A formal derivation of two STG machines.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 1, p. 47, doi. 10.1017/S0956796808006746
- By:
- Publication type:
- Article