jowa86

G. Johnson, J. Walz. A Maximum-Flow Approach to Anomaly Isolation in Unification-Based Incremental Type Inference. In Proc. 13th Annual ACM Symp. on Principles of Programming Languages, Pages 44-57, January 1986.

Keywords

[ Inccomp ] [ Dyntyp ]

Contact

G. F. Johnson
J. Walz

BibTex Reference

@InProceedings{jowa86,
   Author = {Johnson, G. and Walz, J.},
   Title = {A Maximum-Flow Approach to Anomaly Isolation in Unification-Based Incremental Type Inference},
   BookTitle = {Proc. 13th Annual ACM Symp. on Principles of Programming Languages},
   Pages = {44--57},
   Month = {January},
   Year = {1986}
}

EndNote Reference [help]

Get EndNote Reference (.ref)