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

by G F Johnson, J A Walz
Venue:In POPL ’96 [22