@inproceedings{Danvy1999,
    Address = {Berlin, Heidelberg},
    Author = {Danvy, Olivier},
    BookTitle = {Partial Evaluation: Practice and Theory DIKU 1998 International Summer School Copenhagen, Denmark, June 29 -- July 10, 1998},
    Editor = {Hatcliff, John and Mogensen, Torben {\AE} and Thiemann, Peter},
    File = {chp\%3A10.1007\%2F3-540-47018-2\_16 (0) - a - a - h.pdf},
    ISBN = {978-3-540-47018-2},
    Keywords = {type-directed partial evaluation and readme},
    Pages = {367--411},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Type-Directed Partial Evaluation},
    URL = {http://dx.doi.org/10.1007/3-540-47018-2\_16},
    Year = {1999},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-47018-2\_16},
    date-added = {2017-05-04 09:18:59 +0000},
    date-modified = {2017-05-04 09:19:24 +0000},
    file-2 = {tdpe-ln (0) - a - a - h.pdf},
    file-3 = {7022-22798-1-SM (0) - a - a - h.pdf},
    doi = {10.1007/3-540-47018-2_16}
}

@inproceedings{Danvy1999, Address = {Berlin, Heidelberg}, Author = {Danvy, Olivier}, BookTitle = {Partial Evaluation: Practice and Theory DIKU 1998 International Summer School Copenhagen, Denmark, June 29 -- July 10, 1998}, Editor = {Hatcliff, John and Mogensen, Torben {\AE} and Thiemann, Peter}, File = {chp\%3A10.1007\%2F3-540-47018-2_16 (0) - a - a - h.pdf}, ISBN = {978-3-540-47018-2}, Keywords = {type-directed partial evaluation and readme}, Pages = {367--411}, Publisher = {Springer Berlin Heidelberg}, Title = {Type-Directed Partial Evaluation}, URL = {http://dx.doi.org/10.1007/3-540-47018-2_16}, Year = {1999}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-47018-2_16}, date-added = {2017-05-04 09:18:59 +0000}, date-modified = {2017-05-04 09:19:24 +0000}, file-2 = {tdpe-ln (0) - a - a - h.pdf}, file-3 = {7022-22798-1-SM (0) - a - a - h.pdf}, doi = {10.1007/3-540-47018-2_16} }