Correctness of binding time analysis (1993)

by J Palsberg
Venue:Journal of Functional Programming