@inproceedings{Filinski1999,
    Address = {Berlin, Heidelberg},
    Author = {Filinski, Andrzej},
    BookTitle = {Principles and Practice of Declarative Programming: International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999. Proceedings},
    Editor = {Nadathur, Gopalan},
    File = {SAoTDPE (0) - a - a - f.pdf},
    ISBN = {978-3-540-48164-5},
    Keywords = {type-directed partial evaluation and readme},
    Pages = {378--395},
    Publisher = {Springer Berlin Heidelberg},
    Title = {A Semantic Account of Type-Directed Partial Evaluation},
    URL = {http://dx.doi.org/10.1007/10704567\_23},
    Year = {1999},
    bdsk-url-1 = {http://dx.doi.org/10.1007/10704567\_23},
    date-added = {2017-05-03 19:41:20 +0000},
    date-modified = {2017-05-03 19:41:37 +0000},
    file-2 = {20074-45591-1-SM (0) - a - a - f.pdf},
    doi = {10.1007/10704567_23}
}

@inproceedings{Filinski1999, Address = {Berlin, Heidelberg}, Author = {Filinski, Andrzej}, BookTitle = {Principles and Practice of Declarative Programming: International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999. Proceedings}, Editor = {Nadathur, Gopalan}, File = {SAoTDPE (0) - a - a - f.pdf}, ISBN = {978-3-540-48164-5}, Keywords = {type-directed partial evaluation and readme}, Pages = {378--395}, Publisher = {Springer Berlin Heidelberg}, Title = {A Semantic Account of Type-Directed Partial Evaluation}, URL = {http://dx.doi.org/10.1007/10704567_23}, Year = {1999}, bdsk-url-1 = {http://dx.doi.org/10.1007/10704567_23}, date-added = {2017-05-03 19:41:20 +0000}, date-modified = {2017-05-03 19:41:37 +0000}, file-2 = {20074-45591-1-SM (0) - a - a - f.pdf}, doi = {10.1007/10704567_23} }