Normalization by Evaluation and Algebraic Effects

Danel Ahman, Sam Staton. Normalization by Evaluation and Algebraic Effects. Electronic Notes in Theoretical Computer Science, 298:51-69, 2013. [doi]