Correctness of binding-time analysis (1993)

by J Palsberg
Venue:J. Functional Programming