Normalization by Evaluation and Algebraic Effects
Danel Ahman and Sam Staton
Book Title
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
Volume
298
Year
2013