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]

No reviews for this publication, yet.