@article{Ager:2004:FCC:1006397.1006399,
    Address = {Amsterdam, The Netherlands, The Netherlands},
    Author = {Ager, Mads Sig and Danvy, Olivier and Midtgaard, Jan},
    File = {A functional correspondence between call-by-need evaluators and lazy abstract machines - Ager, Danvy, Midtgaard (1) (0) - a - a - p.pdf},
    ISSN = {0020-0190},
    Journal = {Inf. Process. Lett.},
    Keywords = {Krivine machine},
    Month = {June},
    Number = {5},
    Pages = {223--232},
    Publisher = {Elsevier North-Holland, Inc.},
    Title = {A functional correspondence between call-by-need evaluators and lazy abstract machines},
    URL = {http://dx.doi.org/10.1016/j.ipl.2004.02.012},
    Volume = {90},
    Year = {2004},
    acmid = {1006399},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.ipl.2004.02.012},
    date-added = {2013-06-17 09:13:55 +0000},
    date-modified = {2013-06-22 07:40:21 +0000},
    file-2 = {A functional correspondence between call-by-need evaluators and lazy abstract machines - Ager, Danvy, Midtgaard (0) (0) - a - a - p.pdf},
    issue_date = {15 June 2004},
    numpages = {10},
    doi = {10.1016/j.ipl.2004.02.012}
}

@article{Ager:2004:FCC:1006397.1006399, Address = {Amsterdam, The Netherlands, The Netherlands}, Author = {Ager, Mads Sig and Danvy, Olivier and Midtgaard, Jan}, File = {A functional correspondence between call-by-need evaluators and lazy abstract machines - Ager, Danvy, Midtgaard (1) (0) - a - a - p.pdf}, ISSN = {0020-0190}, Journal = {Inf. Process. Lett.}, Keywords = {Krivine machine}, Month = {June}, Number = {5}, Pages = {223--232}, Publisher = {Elsevier North-Holland, Inc.}, Title = {A functional correspondence between call-by-need evaluators and lazy abstract machines}, URL = {http://dx.doi.org/10.1016/j.ipl.2004.02.012}, Volume = {90}, Year = {2004}, acmid = {1006399}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.ipl.2004.02.012}, date-added = {2013-06-17 09:13:55 +0000}, date-modified = {2013-06-22 07:40:21 +0000}, file-2 = {A functional correspondence between call-by-need evaluators and lazy abstract machines - Ager, Danvy, Midtgaard (0) (0) - a - a - p.pdf}, issue_date = {15 June 2004}, numpages = {10}, doi = {10.1016/j.ipl.2004.02.012} }