@inproceedings{Wand:1989:CTI:99370.99394,
    Address = {New York, NY, USA},
    Author = {Wand, Mitchell and O'Keefe, Patrick},
    BookTitle = {Proceedings of the fourth international conference on Functional programming languages and computer architecture},
    ISBN = {0-89791-328-0},
    Keywords = {partial types},
    Location = {Imperial College, London, United Kingdom},
    Pages = {293--298},
    Publisher = {ACM},
    Series = {FPCA '89},
    Title = {On the complexity of type inference with coercion},
    URL = {http://doi.acm.org/10.1145/99370.99394},
    Year = {1989},
    acmid = {99394},
    bdsk-url-1 = {http://doi.acm.org/10.1145/99370.99394},
    bdsk-url-2 = {http://dx.doi.org/10.1145/99370.99394},
    date-added = {2013-07-18 14:15:18 +0000},
    date-modified = {2013-07-18 14:15:24 +0000},
    numpages = {6},
    doi = {10.1145/99370.99394}
}

@inproceedings{Wand:1989:CTI:99370.99394, Address = {New York, NY, USA}, Author = {Wand, Mitchell and O'Keefe, Patrick}, BookTitle = {Proceedings of the fourth international conference on Functional programming languages and computer architecture}, ISBN = {0-89791-328-0}, Keywords = {partial types}, Location = {Imperial College, London, United Kingdom}, Pages = {293--298}, Publisher = {ACM}, Series = {FPCA '89}, Title = {On the complexity of type inference with coercion}, URL = {http://doi.acm.org/10.1145/99370.99394}, Year = {1989}, acmid = {99394}, bdsk-url-1 = {http://doi.acm.org/10.1145/99370.99394}, bdsk-url-2 = {http://dx.doi.org/10.1145/99370.99394}, date-added = {2013-07-18 14:15:18 +0000}, date-modified = {2013-07-18 14:15:24 +0000}, numpages = {6}, doi = {10.1145/99370.99394} }