@inproceedings{Balat2002,
    Address = {Berlin, Heidelberg},
    Author = {Balat, Vincent and Danvy, Olivier},
    BookTitle = {Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6--8, 2002 Proceedings},
    Editor = {Batory, Don and Consel, Charles and Taha, Walid},
    File = {BRICS-RS-02-33 (0) - a - a - z.pdf},
    ISBN = {978-3-540-45821-0},
    Keywords = {type-directed partial evaluation},
    Pages = {78--92},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Memoization in Type-Directed Partial Evaluation},
    URL = {http://dx.doi.org/10.1007/3-540-45821-2\_5},
    Year = {2002},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-45821-2\_5},
    date-added = {2017-05-03 19:27:04 +0000},
    date-modified = {2017-05-03 19:27:55 +0000},
    doi = {10.1007/3-540-45821-2_5}
}

@inproceedings{Balat2002, Address = {Berlin, Heidelberg}, Author = {Balat, Vincent and Danvy, Olivier}, BookTitle = {Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6--8, 2002 Proceedings}, Editor = {Batory, Don and Consel, Charles and Taha, Walid}, File = {BRICS-RS-02-33 (0) - a - a - z.pdf}, ISBN = {978-3-540-45821-0}, Keywords = {type-directed partial evaluation}, Pages = {78--92}, Publisher = {Springer Berlin Heidelberg}, Title = {Memoization in Type-Directed Partial Evaluation}, URL = {http://dx.doi.org/10.1007/3-540-45821-2_5}, Year = {2002}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-45821-2_5}, date-added = {2017-05-03 19:27:04 +0000}, date-modified = {2017-05-03 19:27:55 +0000}, doi = {10.1007/3-540-45821-2_5} }