Specifying the correctness of binding time analysis (1993)

by M Wand
Venue:Journal of Functional Programming