Implementing the call-by-value lambda-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