@article{Cardelli:1985:UTD:6041.6042,
    Address = {New York, NY, USA},
    Author = {Cardelli, Luca and Wegner, Peter},
    File = {On understanding types, data abstraction, and polymorphism - Cardelli, Wegner (0) (0) - a - a - s.pdf},
    ISSN = {0360-0300},
    Journal = {ACM Comput. Surv.},
    Keywords = {type checking and type inference and polymorphic types and readme},
    Month = {December},
    Number = {4},
    Pages = {471--523},
    Publisher = {ACM},
    Title = {On understanding types, data abstraction, and polymorphism},
    URL = {http://doi.acm.org/10.1145/6041.6042},
    Volume = {17},
    Year = {1985},
    acmid = {6042},
    bdsk-url-1 = {http://doi.acm.org/10.1145/6041.6042},
    bdsk-url-2 = {http://dx.doi.org/10.1145/6041.6042},
    date-added = {2013-07-17 13:10:20 +0000},
    date-modified = {2013-07-17 13:10:49 +0000},
    issue_date = {Dec. 1985},
    numpages = {53},
    doi = {10.1145/6041.6042}
}

@article{Cardelli:1985:UTD:6041.6042, Address = {New York, NY, USA}, Author = {Cardelli, Luca and Wegner, Peter}, File = {On understanding types, data abstraction, and polymorphism - Cardelli, Wegner (0) (0) - a - a - s.pdf}, ISSN = {0360-0300}, Journal = {ACM Comput. Surv.}, Keywords = {type checking and type inference and polymorphic types and readme}, Month = {December}, Number = {4}, Pages = {471--523}, Publisher = {ACM}, Title = {On understanding types, data abstraction, and polymorphism}, URL = {http://doi.acm.org/10.1145/6041.6042}, Volume = {17}, Year = {1985}, acmid = {6042}, bdsk-url-1 = {http://doi.acm.org/10.1145/6041.6042}, bdsk-url-2 = {http://dx.doi.org/10.1145/6041.6042}, date-added = {2013-07-17 13:10:20 +0000}, date-modified = {2013-07-17 13:10:49 +0000}, issue_date = {Dec. 1985}, numpages = {53}, doi = {10.1145/6041.6042} }