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

by Mads Tofte
Venue:In ACM Symposium on Principles of Programming Languages
Citations:57 - 0 self