Implementation of the typed call-byvalue λ-calculus using a stack of regions (1994)

by Mads Tofte, Jean-Pierre Talpin
Venue:In Proc. 21st Annual ACM Symposium on Principles of Programming Languages