The semantics of Scheme control-flow analysis (1991)

by O Shivers
Venue:In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation