@article{Ahman201351,
    Author = {Ahman, Danel and Staton, Sam},
    File = {Normalization by Evaluation and Algebraic Effects - Ahman, Staton (0) (0) - a - a - z.pdf},
    ISSN = {1571-0661},
    Journal = {Electronic Notes in Theoretical Computer Science},
    Keywords = {normalization by evaluation},
    Note = {<ce:title>Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, \{MFPS\} XXIX</ce:title>},
    Number = {0},
    Pages = {51 - 69},
    Title = {Normalization by Evaluation and Algebraic Effects},
    URL = {http://www.sciencedirect.com/science/article/pii/S1571066113000534},
    Volume = {298},
    Year = {2013},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066113000534},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.entcs.2013.09.007},
    date-added = {2013-12-28 19:50:43 +0000},
    date-modified = {2013-12-28 19:50:59 +0000},
    file-2 = {Normalization by Evaluation and Algebraic Effects - Ahman, Staton (2) (0) - a - a - z.pdf},
    file-3 = {Normalization by Evaluation and Algebraic Effects - Ahman, Staton (1) (0) - a - a - z.pdf},
    doi = {10.1016/j.entcs.2013.09.007}
}

@article{Ahman201351, Author = {Ahman, Danel and Staton, Sam}, File = {Normalization by Evaluation and Algebraic Effects - Ahman, Staton (0) (0) - a - a - z.pdf}, ISSN = {1571-0661}, Journal = {Electronic Notes in Theoretical Computer Science}, Keywords = {normalization by evaluation}, Note = {Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} XXIX}, Number = {0}, Pages = {51 - 69}, Title = {Normalization by Evaluation and Algebraic Effects}, URL = {http://www.sciencedirect.com/science/article/pii/S1571066113000534}, Volume = {298}, Year = {2013}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066113000534}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.entcs.2013.09.007}, date-added = {2013-12-28 19:50:43 +0000}, date-modified = {2013-12-28 19:50:59 +0000}, file-2 = {Normalization by Evaluation and Algebraic Effects - Ahman, Staton (2) (0) - a - a - z.pdf}, file-3 = {Normalization by Evaluation and Algebraic Effects - Ahman, Staton (1) (0) - a - a - z.pdf}, doi = {10.1016/j.entcs.2013.09.007} }