@inproceedings{Unno:2013:ARC:2429069.2429081,
    Address = {New York, NY, USA},
    Author = {Unno, Hiroshi and Terauchi, Tachio and Kobayashi, Naoki},
    BookTitle = {Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
    ISBN = {978-1-4503-1832-7},
    Keywords = {higher-order programs, relative completeness, software model checking, type inference},
    Location = {Rome, Italy},
    Pages = {75--86},
    Publisher = {ACM},
    Series = {POPL '13},
    Title = {Automating relatively complete verification of higher-order functional programs},
    URL = {http://doi.acm.org/10.1145/2429069.2429081},
    Year = {2013},
    acmid = {2429081},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2429069.2429081},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2429069.2429081},
    date-added = {2013-04-16 15:34:51 +0000},
    date-modified = {2013-04-16 15:34:51 +0000},
    numpages = {12},
    doi = {10.1145/2429069.2429081}
}

@inproceedings{Unno:2013:ARC:2429069.2429081, Address = {New York, NY, USA}, Author = {Unno, Hiroshi and Terauchi, Tachio and Kobayashi, Naoki}, BookTitle = {Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, ISBN = {978-1-4503-1832-7}, Keywords = {higher-order programs, relative completeness, software model checking, type inference}, Location = {Rome, Italy}, Pages = {75--86}, Publisher = {ACM}, Series = {POPL '13}, Title = {Automating relatively complete verification of higher-order functional programs}, URL = {http://doi.acm.org/10.1145/2429069.2429081}, Year = {2013}, acmid = {2429081}, bdsk-url-1 = {http://doi.acm.org/10.1145/2429069.2429081}, bdsk-url-2 = {http://dx.doi.org/10.1145/2429069.2429081}, date-added = {2013-04-16 15:34:51 +0000}, date-modified = {2013-04-16 15:34:51 +0000}, numpages = {12}, doi = {10.1145/2429069.2429081} }