@article{Danvy:2001:NET:968429.968432,
    Address = {New York, NY, USA},
    Author = {Danvy, Olivier and Rhiger, Morten and Rose, Kristoffer H.},
    File = {Normalization by evaluation with typed abstract syntax - Danvy, Rhiger, Rose (0) (0) - a - a - j.pdf},
    ISSN = {0956-7968},
    Journal = {J. Funct. Program.},
    Keywords = {normalization by evaluation},
    Month = {November},
    Number = {6},
    Pages = {673--680},
    Publisher = {Cambridge University Press},
    Title = {Normalization by evaluation with typed abstract syntax},
    URL = {http://dx.doi.org/10.1017/S0956796801004166},
    Volume = {11},
    Year = {2001},
    acmid = {968432},
    bdsk-url-1 = {http://dx.doi.org/10.1017/S0956796801004166},
    date-added = {2013-06-11 12:09:08 +0000},
    date-modified = {2017-05-03 19:45:19 +0000},
    issue_date = {November 2001},
    numpages = {8},
    doi = {10.1017/S0956796801004166}
}

@article{Danvy:2001:NET:968429.968432, Address = {New York, NY, USA}, Author = {Danvy, Olivier and Rhiger, Morten and Rose, Kristoffer H.}, File = {Normalization by evaluation with typed abstract syntax - Danvy, Rhiger, Rose (0) (0) - a - a - j.pdf}, ISSN = {0956-7968}, Journal = {J. Funct. Program.}, Keywords = {normalization by evaluation}, Month = {November}, Number = {6}, Pages = {673--680}, Publisher = {Cambridge University Press}, Title = {Normalization by evaluation with typed abstract syntax}, URL = {http://dx.doi.org/10.1017/S0956796801004166}, Volume = {11}, Year = {2001}, acmid = {968432}, bdsk-url-1 = {http://dx.doi.org/10.1017/S0956796801004166}, date-added = {2013-06-11 12:09:08 +0000}, date-modified = {2017-05-03 19:45:19 +0000}, issue_date = {November 2001}, numpages = {8}, doi = {10.1017/S0956796801004166} }