@article{Friedman:2007:ILK:1325146.1325155,
    Address = {Hingham, MA, USA},
    Author = {Friedman, Daniel P. and Ghuloum, Abdulaziz and Siek, Jeremy G. and Winebarger, Onnie Lynn},
    File = {Improving the lazy Krivine machine - Friedman, Ghuloum, Siek, Winebarger (0) (0) - a - a - k.pdf},
    ISSN = {1388-3690},
    Journal = {Higher Order Symbol. Comput.},
    Keywords = {Krivine machine and lambda calculus and simply-typed lambda calculus and reading},
    Month = {September},
    Number = {3},
    Pages = {271--293},
    Publisher = {Kluwer Academic Publishers},
    Title = {Improving the lazy Krivine machine},
    URL = {http://dx.doi.org/10.1007/s10990-007-9014-0},
    Volume = {20},
    Year = {2007},
    acmid = {1325155},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s10990-007-9014-0},
    date-added = {2013-04-16 15:04:00 +0000},
    date-modified = {2017-04-21 08:36:05 +0000},
    issue_date = {September 2007},
    numpages = {23},
    doi = {10.1007/s10990-007-9014-0}
}

@article{Friedman:2007:ILK:1325146.1325155, Address = {Hingham, MA, USA}, Author = {Friedman, Daniel P. and Ghuloum, Abdulaziz and Siek, Jeremy G. and Winebarger, Onnie Lynn}, File = {Improving the lazy Krivine machine - Friedman, Ghuloum, Siek, Winebarger (0) (0) - a - a - k.pdf}, ISSN = {1388-3690}, Journal = {Higher Order Symbol. Comput.}, Keywords = {Krivine machine and lambda calculus and simply-typed lambda calculus and reading}, Month = {September}, Number = {3}, Pages = {271--293}, Publisher = {Kluwer Academic Publishers}, Title = {Improving the lazy Krivine machine}, URL = {http://dx.doi.org/10.1007/s10990-007-9014-0}, Volume = {20}, Year = {2007}, acmid = {1325155}, bdsk-url-1 = {http://dx.doi.org/10.1007/s10990-007-9014-0}, date-added = {2013-04-16 15:04:00 +0000}, date-modified = {2017-04-21 08:36:05 +0000}, issue_date = {September 2007}, numpages = {23}, doi = {10.1007/s10990-007-9014-0} }