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

by G F Johnson, J A Walz
Venue:In POPL ’86: Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages