Normalization by evaluation for lambda 2
Altenkirch, Thorsten
;
Uustalu, Tarmo
Functional and Logic Programming : 7th International Symposium, FLOPS 2004 : Nara, Japan, April 7-9, 2004 : proceedings
2004
/
p. [260]-275