@inproceedings{Kobayashi:2012:FPC:2103746.2103770,
    Address = {New York, NY, USA},
    Author = {Kobayashi, Naoki and Matsuda, Kazutaka and Shinohara, Ayumi},
    BookTitle = {Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation},
    File = {Functional programs as compressed data - Kobayashi, Matsuda, Shinohara (1) (0) - a - a - e.pdf},
    ISBN = {978-1-4503-1118-2},
    Keywords = {higher-order recursion schemes},
    Location = {Philadelphia, Pennsylvania, USA},
    Pages = {121--130},
    Publisher = {ACM},
    Series = {PEPM '12},
    Title = {Functional programs as compressed data},
    URL = {http://doi.acm.org/10.1145/2103746.2103770},
    Year = {2012},
    acmid = {2103770},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2103746.2103770},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2103746.2103770},
    date-added = {2013-03-02 12:13:54 +0000},
    date-modified = {2013-03-02 12:15:27 +0000},
    file-2 = {Functional programs as compressed data - Kobayashi, Matsuda, Shinohara (0) (0) - a - a - e.pdf},
    numpages = {10},
    doi = {10.1145/2103746.2103770}
}

@inproceedings{Kobayashi:2012:FPC:2103746.2103770, Address = {New York, NY, USA}, Author = {Kobayashi, Naoki and Matsuda, Kazutaka and Shinohara, Ayumi}, BookTitle = {Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation}, File = {Functional programs as compressed data - Kobayashi, Matsuda, Shinohara (1) (0) - a - a - e.pdf}, ISBN = {978-1-4503-1118-2}, Keywords = {higher-order recursion schemes}, Location = {Philadelphia, Pennsylvania, USA}, Pages = {121--130}, Publisher = {ACM}, Series = {PEPM '12}, Title = {Functional programs as compressed data}, URL = {http://doi.acm.org/10.1145/2103746.2103770}, Year = {2012}, acmid = {2103770}, bdsk-url-1 = {http://doi.acm.org/10.1145/2103746.2103770}, bdsk-url-2 = {http://dx.doi.org/10.1145/2103746.2103770}, date-added = {2013-03-02 12:13:54 +0000}, date-modified = {2013-03-02 12:15:27 +0000}, file-2 = {Functional programs as compressed data - Kobayashi, Matsuda, Shinohara (0) (0) - a - a - e.pdf}, numpages = {10}, doi = {10.1145/2103746.2103770} }