Automatic binding time analysis for a typed λ-calculus (1988)

by F Nielson, H R Nielson
Venue:In Proceedings of POPL