@inproceedings{Kobayashi:2009:THR:1480881.1480933,
    Address = {New York, NY, USA},
    Author = {Kobayashi, Naoki},
    BookTitle = {Proc. of POPL '09},
    File = {Types and higher-order recursion schemes for verification of higher-order programs - Kobayashi (0) (0) - a - a - a.pdf},
    ISBN = {978-1-60558-379-2},
    Keywords = {higher-order recursion schemes},
    Location = {Savannah, GA, USA},
    Pages = {416--428},
    Publisher = {ACM},
    Title = {Types and higher-order recursion schemes for verification of higher-order programs},
    URL = {http://doi.acm.org/10.1145/1480881.1480933},
    Year = {2009},
    acmid = {1480933},
    bdsk-url-1 = {http://doi.acm.org/10.1145/1480881.1480933},
    bdsk-url-2 = {http://dx.doi.org/10.1145/1480881.1480933},
    date-added = {2013-01-28 11:07:48 +0000},
    date-modified = {2014-01-01 15:14:39 +0000},
    numpages = {13},
    doi = {10.1145/1480881.1480933}
}

@inproceedings{Kobayashi:2009:THR:1480881.1480933, Address = {New York, NY, USA}, Author = {Kobayashi, Naoki}, BookTitle = {Proc. of POPL '09}, File = {Types and higher-order recursion schemes for verification of higher-order programs - Kobayashi (0) (0) - a - a - a.pdf}, ISBN = {978-1-60558-379-2}, Keywords = {higher-order recursion schemes}, Location = {Savannah, GA, USA}, Pages = {416--428}, Publisher = {ACM}, Title = {Types and higher-order recursion schemes for verification of higher-order programs}, URL = {http://doi.acm.org/10.1145/1480881.1480933}, Year = {2009}, acmid = {1480933}, bdsk-url-1 = {http://doi.acm.org/10.1145/1480881.1480933}, bdsk-url-2 = {http://dx.doi.org/10.1145/1480881.1480933}, date-added = {2013-01-28 11:07:48 +0000}, date-modified = {2014-01-01 15:14:39 +0000}, numpages = {13}, doi = {10.1145/1480881.1480933} }