Type Systems for Closure Conversions (1995)

by John Hannan
Venue:In The Workshop on Types for Program Analysis