Palsberg. Correctness of binding-time analysis (1993)

by Jens
Venue:Journal of Functional Programming