Typed Closure Conversion for Recursively-Defined Functions

J. Gregory Morrisett, Robert Harper. Typed Closure Conversion for Recursively-Defined Functions. Electronic Notes in Theoretical Computer Science, 10:230-241, 1997. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: