A maximum-flow approach to anomaly isolation in unification-based incremental type inference (1986)

by G F Johnson, J A Walz
Venue:In Proceedings of Symposium on Principles of Programming Languages (POPL