@article{Frisch:2008:SSD:1391289.1391293,
    Address = {New York, NY, USA},
    Author = {Frisch, Alain and Castagna, Giuseppe and Benzaken, V{\'e}ronique},
    File = {a19-frisch (0) - a - a - v.pdf},
    ISSN = {0004-5411},
    Journal = {J. ACM},
    Keywords = {Subtyping, higher-order functions, intersection types, negation types, union types},
    Month = {September},
    Number = {4},
    Pages = {19:1--19:64},
    Publisher = {ACM},
    Title = {Semantic Subtyping: Dealing Set-theoretically with Function, Union, Intersection, and Negation Types},
    URL = {http://doi.acm.org/10.1145/1391289.1391293},
    Volume = {55},
    Year = {2008},
    acmid = {1391293},
    articleno = {19},
    bdsk-url-1 = {http://wiki.c2.com/?SemanticSubtyping},
    bdsk-url-2 = {http://doi.acm.org/10.1145/1391289.1391293},
    bdsk-url-3 = {http://dx.doi.org/10.1145/1391289.1391293},
    date-added = {2017-01-23 13:24:08 +0000},
    date-modified = {2017-01-23 13:24:08 +0000},
    file-2 = {627fc94ec7fc6888070180126c848a8e2f21 (0) - a - a - v.pdf},
    file-3 = {ictcs05a (0) - a - a - v.pdf},
    file-4 = {lri02 (0) - a - a - v.pdf},
    issue_date = {September 2008},
    numpages = {64},
    doi = {10.1145/1391289.1391293}
}

@article{Frisch:2008:SSD:1391289.1391293, Address = {New York, NY, USA}, Author = {Frisch, Alain and Castagna, Giuseppe and Benzaken, V{\'e}ronique}, File = {a19-frisch (0) - a - a - v.pdf}, ISSN = {0004-5411}, Journal = {J. ACM}, Keywords = {Subtyping, higher-order functions, intersection types, negation types, union types}, Month = {September}, Number = {4}, Pages = {19:1--19:64}, Publisher = {ACM}, Title = {Semantic Subtyping: Dealing Set-theoretically with Function, Union, Intersection, and Negation Types}, URL = {http://doi.acm.org/10.1145/1391289.1391293}, Volume = {55}, Year = {2008}, acmid = {1391293}, articleno = {19}, bdsk-url-1 = {http://wiki.c2.com/?SemanticSubtyping}, bdsk-url-2 = {http://doi.acm.org/10.1145/1391289.1391293}, bdsk-url-3 = {http://dx.doi.org/10.1145/1391289.1391293}, date-added = {2017-01-23 13:24:08 +0000}, date-modified = {2017-01-23 13:24:08 +0000}, file-2 = {627fc94ec7fc6888070180126c848a8e2f21 (0) - a - a - v.pdf}, file-3 = {ictcs05a (0) - a - a - v.pdf}, file-4 = {lri02 (0) - a - a - v.pdf}, issue_date = {September 2008}, numpages = {64}, doi = {10.1145/1391289.1391293} }