@inproceedings{Aiken:1993:TIC:165180.165188,
    Address = {New York, NY, USA},
    Author = {Aiken, Alexander and Wimmers, Edward L.},
    BookTitle = {Proceedings of the conference on Functional programming languages and computer architecture},
    File = {Type inclusion constraints and type inference - Aiken, Wimmers (0) (0) - a - a - e.pdf},
    ISBN = {0-89791-595-X},
    Keywords = {type checking and readme and set constraints},
    Location = {Copenhagen, Denmark},
    Pages = {31--41},
    Publisher = {ACM},
    Series = {FPCA '93},
    Title = {Type inclusion constraints and type inference},
    URL = {http://doi.acm.org/10.1145/165180.165188},
    Year = {1993},
    acmid = {165188},
    bdsk-url-1 = {http://doi.acm.org/10.1145/165180.165188},
    bdsk-url-2 = {http://dx.doi.org/10.1145/165180.165188},
    date-added = {2013-07-01 14:10:07 +0000},
    date-modified = {2013-07-17 12:44:24 +0000},
    numpages = {11},
    doi = {10.1145/165180.165188}
}

@inproceedings{Aiken:1993:TIC:165180.165188, Address = {New York, NY, USA}, Author = {Aiken, Alexander and Wimmers, Edward L.}, BookTitle = {Proceedings of the conference on Functional programming languages and computer architecture}, File = {Type inclusion constraints and type inference - Aiken, Wimmers (0) (0) - a - a - e.pdf}, ISBN = {0-89791-595-X}, Keywords = {type checking and readme and set constraints}, Location = {Copenhagen, Denmark}, Pages = {31--41}, Publisher = {ACM}, Series = {FPCA '93}, Title = {Type inclusion constraints and type inference}, URL = {http://doi.acm.org/10.1145/165180.165188}, Year = {1993}, acmid = {165188}, bdsk-url-1 = {http://doi.acm.org/10.1145/165180.165188}, bdsk-url-2 = {http://dx.doi.org/10.1145/165180.165188}, date-added = {2013-07-01 14:10:07 +0000}, date-modified = {2013-07-17 12:44:24 +0000}, numpages = {11}, doi = {10.1145/165180.165188} }