Specification and correctness of lambda lifting This material is based upon work supported by the National Science Foundation under Grant No. 9900918.

DOI10.1017/S0956796802004604zbMath1036.68021OpenAlexW1926572647MaRDI QIDQ4408680

Adam Fischbach, John Hannan

Publication date: 2003

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796802004604

zbMATH Keywords

operational semantics

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

Continuation-passing C, compiling threads to events through continuations

This page was built for publication: Specification and correctness of lambda lifting This material is based upon work supported by the National Science Foundation under Grant No. 9900918.