Implementation of the typed call-by-value l-calculus using a stack of regions (1994)

by M Tofte, J-P Talpin
Venue:In Conference Record of the Twenty-First Annual ACM Symposium on Principles of Programming Languages