Implementing the call-by-value -calculus using a stack of regions (1994)

by M Tofte, J Talpin
Venue:In Principles of Programming Languages (POPL