Stackability in the Simply-Typed, Call-byValue Lambda Calculus (1994)

by A Banerjee, D A Schmidt
Venue:In Proceedings of the first International Static Analysis Symposium