@article{Pierce:1997:ITB:967396.967398,
    Address = {New York, NY, USA},
    Author = {Pierce, Benjamin C.},
    File = {Intersection types and bounded polymorphism - Pierce (0) (0) (0).pdf},
    ISSN = {0960-1295},
    Journal = {Mathematical. Structures in Comp. Sci.},
    Keywords = {intersection types},
    Month = {April},
    Number = {2},
    Pages = {129--193},
    Publisher = {Cambridge University Press},
    Title = {Intersection types and bounded polymorphism},
    URL = {http://dx.doi.org/10.1017/S096012959600223X},
    Volume = {7},
    Year = {1997},
    acmid = {967398},
    bdsk-url-1 = {http://dx.doi.org/10.1017/S096012959600223X},
    date-added = {2013-01-30 14:48:47 +0000},
    date-modified = {2013-01-30 14:55:56 +0000},
    file-2 = {Intersection types and bounded polymorphism - Pierce (1) (0) - a - a - w.pdf},
    issue_date = {April 1997},
    numpages = {65},
    doi = {10.1017/S096012959600223X}
}

@article{Pierce:1997:ITB:967396.967398, Address = {New York, NY, USA}, Author = {Pierce, Benjamin C.}, File = {Intersection types and bounded polymorphism - Pierce (0) (0) (0).pdf}, ISSN = {0960-1295}, Journal = {Mathematical. Structures in Comp. Sci.}, Keywords = {intersection types}, Month = {April}, Number = {2}, Pages = {129--193}, Publisher = {Cambridge University Press}, Title = {Intersection types and bounded polymorphism}, URL = {http://dx.doi.org/10.1017/S096012959600223X}, Volume = {7}, Year = {1997}, acmid = {967398}, bdsk-url-1 = {http://dx.doi.org/10.1017/S096012959600223X}, date-added = {2013-01-30 14:48:47 +0000}, date-modified = {2013-01-30 14:55:56 +0000}, file-2 = {Intersection types and bounded polymorphism - Pierce (1) (0) - a - a - w.pdf}, issue_date = {April 1997}, numpages = {65}, doi = {10.1017/S096012959600223X} }