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

by H R Nielson, F Nielson
Venue:In ACM Symposium on Principles of Programming Languages