@inproceedings{Danvy1996,
    Address = {Berlin, Heidelberg},
    Author = {Danvy, Olivier},
    BookTitle = {Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February 12--16, 1996 Selected Papers},
    Editor = {Danvy, Olivier and Gl{\"u}ck, Robert and Thiemann, Peter},
    File = {106cc7b100018d1e02937b02cc36b8264f4f (0) - a - a - t.pdf},
    ISBN = {978-3-540-70589-5},
    Keywords = {type-directed partial evaluation and readme},
    Pages = {73--94},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Pragmatics of type-directed partial evaluation},
    URL = {http://dx.doi.org/10.1007/3-540-61580-6\_5},
    Year = {1996},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-61580-6\_5},
    date-added = {2017-05-03 19:43:27 +0000},
    date-modified = {2017-05-03 19:43:43 +0000},
    doi = {10.1007/3-540-61580-6_5}
}

@inproceedings{Danvy1996, Address = {Berlin, Heidelberg}, Author = {Danvy, Olivier}, BookTitle = {Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February 12--16, 1996 Selected Papers}, Editor = {Danvy, Olivier and Gl{\"u}ck, Robert and Thiemann, Peter}, File = {106cc7b100018d1e02937b02cc36b8264f4f (0) - a - a - t.pdf}, ISBN = {978-3-540-70589-5}, Keywords = {type-directed partial evaluation and readme}, Pages = {73--94}, Publisher = {Springer Berlin Heidelberg}, Title = {Pragmatics of type-directed partial evaluation}, URL = {http://dx.doi.org/10.1007/3-540-61580-6_5}, Year = {1996}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-61580-6_5}, date-added = {2017-05-03 19:43:27 +0000}, date-modified = {2017-05-03 19:43:43 +0000}, doi = {10.1007/3-540-61580-6_5} }