Normalization by evaluation with typed abstract syntax (0)

by O Danvy, M Rhiger, K H Rose
Venue:J. Funct. Program