From self-interpreters to normalization by evaluation (2009)

by M Boespflug
Venue:In: Informal proceedings of the 2009 Workshop on Normalization by Evaluation