Automatic binding time analysis for a typed l calculus (1988)

by H R Nielson, F Nielson
Venue:Science of Computer Programming