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]

Abstract

Abstract is missing.