JohnsonW86'

BibTeX

@inproceedings{DBLP:conf/popl/JohnsonW86,
  author    = {Gregory F. Johnson and
               Janet A. Walz},
  title     = {A Maximum-Flow Approach to Anomaly Isolation in Unification-Based
               Incremental Type Inference},
  booktitle = {POPL},
  year      = {1986},
  pages     = {44-57},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}