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: Principles of Programming Languages