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

by M Tofte, J-P Talpin
Venue:In Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL ’94