A Maximum-Flow Approach to Anomaly Isolation in Unification-Based Incremental Type Inference.

Gregory F. Johnson, Janet A. Walz

Browse the full POPL paper archive.