@inproceedings{Vouillon:2006:PRT:1111037.1111047,
    Address = {New York, NY, USA},
    Author = {Vouillon, J{\'e}r\^{o}me},
    BookTitle = {Conference Record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
    File = {p103-vouillon (0) - a - a - y.pdf},
    ISBN = {1-59593-027-2},
    Keywords = {polymorphism, subtyping, tree automata},
    Location = {Charleston, South Carolina, USA},
    Pages = {103--114},
    Publisher = {ACM},
    Series = {POPL '06},
    Title = {Polymorphic Regular Tree Types and Patterns},
    URL = {http://doi.acm.org/10.1145/1111037.1111047},
    Year = {2006},
    acmid = {1111047},
    bdsk-url-1 = {http://doi.acm.org/10.1145/1111037.1111047},
    bdsk-url-2 = {http://dx.doi.org/10.1145/1111037.1111047},
    date-added = {2017-01-23 15:06:29 +0000},
    date-modified = {2017-01-23 15:06:29 +0000},
    numpages = {12},
    doi = {10.1145/1111037.1111047}
}

@inproceedings{Vouillon:2006:PRT:1111037.1111047, Address = {New York, NY, USA}, Author = {Vouillon, J{\'e}r\^{o}me}, BookTitle = {Conference Record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, File = {p103-vouillon (0) - a - a - y.pdf}, ISBN = {1-59593-027-2}, Keywords = {polymorphism, subtyping, tree automata}, Location = {Charleston, South Carolina, USA}, Pages = {103--114}, Publisher = {ACM}, Series = {POPL '06}, Title = {Polymorphic Regular Tree Types and Patterns}, URL = {http://doi.acm.org/10.1145/1111037.1111047}, Year = {2006}, acmid = {1111047}, bdsk-url-1 = {http://doi.acm.org/10.1145/1111037.1111047}, bdsk-url-2 = {http://dx.doi.org/10.1145/1111037.1111047}, date-added = {2017-01-23 15:06:29 +0000}, date-modified = {2017-01-23 15:06:29 +0000}, numpages = {12}, doi = {10.1145/1111037.1111047} }