Specifying the correctness of binding-time analysis (1993)

by Michell Wand
Venue:Proceedings of the 5th Conference on Functional Programming Languages and Computer Architecture