@inproceedings{Vazou:2013:ART:2450268.2450286,
    Address = {Berlin, Heidelberg},
    Author = {Vazou, Niki and Rondon, Patrick M. and Jhala, Ranjit},
    BookTitle = {Proceedings of the 22nd European conference on Programming Languages and Systems},
    File = {Abstract refinement types - Vazou, Rondon, Jhala (0) (0) - a - a - a.pdf},
    ISBN = {978-3-642-37035-9},
    Keywords = {type theory and liquid types},
    Location = {Rome, Italy},
    Pages = {209--228},
    Publisher = {Springer-Verlag},
    Series = {ESOP'13},
    Title = {Abstract refinement types},
    URL = {http://dx.doi.org/10.1007/978-3-642-37036-6\_13},
    Year = {2013},
    acmid = {2450286},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-37036-6\_13},
    date-added = {2013-05-15 15:39:19 +0000},
    date-modified = {2013-05-15 15:39:34 +0000},
    numpages = {20},
    doi = {10.1007/978-3-642-37036-6_13}
}

@inproceedings{Vazou:2013:ART:2450268.2450286, Address = {Berlin, Heidelberg}, Author = {Vazou, Niki and Rondon, Patrick M. and Jhala, Ranjit}, BookTitle = {Proceedings of the 22nd European conference on Programming Languages and Systems}, File = {Abstract refinement types - Vazou, Rondon, Jhala (0) (0) - a - a - a.pdf}, ISBN = {978-3-642-37035-9}, Keywords = {type theory and liquid types}, Location = {Rome, Italy}, Pages = {209--228}, Publisher = {Springer-Verlag}, Series = {ESOP'13}, Title = {Abstract refinement types}, URL = {http://dx.doi.org/10.1007/978-3-642-37036-6_13}, Year = {2013}, acmid = {2450286}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-37036-6_13}, date-added = {2013-05-15 15:39:19 +0000}, date-modified = {2013-05-15 15:39:34 +0000}, numpages = {20}, doi = {10.1007/978-3-642-37036-6_13} }