Finding the source of type errors (1986)

by Mitchell Wand
Venue:In 13th ACM Symposium on Principles of Programming Languages