@inproceedings{Kobayashi:2009:MHF:1599410.1599415,
    Address = {New York, NY, USA},
    Author = {Kobayashi, Naoki},
    BookTitle = {Proc. of PPDP'09},
    File = {Model-checking higher-order functions - Kobayashi (0) (0) - a - a - f.pdf},
    ISBN = {978-1-60558-568-0},
    Keywords = {higher-order functions, model checking, program verification, recursion schemes},
    Location = {Coimbra, Portugal},
    Pages = {25--36},
    Publisher = {ACM},
    Title = {Model-checking higher-order functions},
    URL = {http://doi.acm.org/10.1145/1599410.1599415},
    Year = {2009},
    acmid = {1599415},
    bdsk-url-1 = {http://doi.acm.org/10.1145/1599410.1599415},
    bdsk-url-2 = {http://dx.doi.org/10.1145/1599410.1599415},
    date-added = {2013-01-28 11:23:14 +0000},
    date-modified = {2013-12-22 17:56:59 +0000},
    file-2 = {Model-checking higher-order functions - Kobayashi (1) (0) - a - a - f.pdf},
    file-3 = {Model-checking higher-order functions - Kobayashi (2) (0) - a - a - f.pdf},
    numpages = {12},
    doi = {10.1145/1599410.1599415}
}

@inproceedings{Kobayashi:2009:MHF:1599410.1599415, Address = {New York, NY, USA}, Author = {Kobayashi, Naoki}, BookTitle = {Proc. of PPDP'09}, File = {Model-checking higher-order functions - Kobayashi (0) (0) - a - a - f.pdf}, ISBN = {978-1-60558-568-0}, Keywords = {higher-order functions, model checking, program verification, recursion schemes}, Location = {Coimbra, Portugal}, Pages = {25--36}, Publisher = {ACM}, Title = {Model-checking higher-order functions}, URL = {http://doi.acm.org/10.1145/1599410.1599415}, Year = {2009}, acmid = {1599415}, bdsk-url-1 = {http://doi.acm.org/10.1145/1599410.1599415}, bdsk-url-2 = {http://dx.doi.org/10.1145/1599410.1599415}, date-added = {2013-01-28 11:23:14 +0000}, date-modified = {2013-12-22 17:56:59 +0000}, file-2 = {Model-checking higher-order functions - Kobayashi (1) (0) - a - a - f.pdf}, file-3 = {Model-checking higher-order functions - Kobayashi (2) (0) - a - a - f.pdf}, numpages = {12}, doi = {10.1145/1599410.1599415} }