@inproceedings{DBLP:journals/entcs/AhmanS13,
  title = "Normalization by Evaluation and Algebraic Effects",
  author = "Danel Ahman and Sam Staton",
  year = "2013",
  booktitle = "Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2013, New Orleans, LA, USA, June 23-25, 2013",
  editor = "Dexter Kozen and Michael W. Mislove",
  pages = "51--69",
  publisher = "Elsevier",
  series = "Electronic Notes in Theoretical Computer Science",
  url = "https://doi.org/10.1016/j.entcs.2013.09.007",
  volume = "298",
  doi = "10.1016/j.entcs.2013.09.007",
}