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

by Flemming Nielson, Hanne Riis Nielson
Venue:In POPL ’88: Conference record of the annual ACM