Type systems for closure conversions (1995)

by J Hannan
Venue:In Workshop on Types for Program Analysis