@inproceedings{Kanellakis:1989:PUM:75277.75286,
    Address = {New York, NY, USA},
    Author = {Kanellakis, P. C. and Mitchell, J. C.},
    BookTitle = {Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
    File = {Polymorphic unification and ML typing - Kanellakis, Mitchell (0) (0) - a - a - t.pdf},
    ISBN = {0-89791-294-2},
    Keywords = {type theory},
    Location = {Austin, Texas, USA},
    Pages = {105--115},
    Publisher = {ACM},
    Series = {POPL '89},
    Title = {Polymorphic unification and ML typing},
    URL = {http://doi.acm.org/10.1145/75277.75286},
    Year = {1989},
    acmid = {75286},
    bdsk-url-1 = {http://doi.acm.org/10.1145/75277.75286},
    bdsk-url-2 = {http://dx.doi.org/10.1145/75277.75286},
    date-added = {2013-05-13 16:17:22 +0000},
    date-modified = {2013-05-13 16:18:19 +0000},
    numpages = {11},
    doi = {10.1145/75277.75286}
}

@inproceedings{Kanellakis:1989:PUM:75277.75286, Address = {New York, NY, USA}, Author = {Kanellakis, P. C. and Mitchell, J. C.}, BookTitle = {Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, File = {Polymorphic unification and ML typing - Kanellakis, Mitchell (0) (0) - a - a - t.pdf}, ISBN = {0-89791-294-2}, Keywords = {type theory}, Location = {Austin, Texas, USA}, Pages = {105--115}, Publisher = {ACM}, Series = {POPL '89}, Title = {Polymorphic unification and ML typing}, URL = {http://doi.acm.org/10.1145/75277.75286}, Year = {1989}, acmid = {75286}, bdsk-url-1 = {http://doi.acm.org/10.1145/75277.75286}, bdsk-url-2 = {http://dx.doi.org/10.1145/75277.75286}, date-added = {2013-05-13 16:17:22 +0000}, date-modified = {2013-05-13 16:18:19 +0000}, numpages = {11}, doi = {10.1145/75277.75286} }