Finding the source of type errors (1986)

by M Wand
Venue:In ACM Symp. on Principles of Programming Languages