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]

Authors

J. Gregory Morrisett

This author has not been identified. Look up 'J. Gregory Morrisett' in Google

Robert Harper

Identified as Robert Harper