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

by M Tofte, J-P Talpin
Venue:in: H.-J. Boehm (Ed.), Proc. 21st Ann. ACM Symp. on Principles of Programming Languages