A compiled implementation of normalization by evaluation (2008)

by Klaus Aehlig, Florian Haftmann, Tobias Nipkow
Venue:In Otmane Aït Mohamed, César Muñoz, and Sofiène Tahar, editors, TPHOLs ’08: Proceedings of the 21th International Conference on Theorem Proving in Higher Order Logics, volume 5170 of Lecture Notes in Computer Science