Normalization by evaluation for lambda 2
vastutusandmed
Thorsten Altenkirch and Tarmo Uustalu
allikas
Functional and Logic Programming : 7th International Symposium, FLOPS 2004 : Nara, Japan, April 7-9, 2004 : proceedings
ilmumiskoht
Berlin
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. [260]-275
ISBN
3-540-21402-X
märkused
Bibliogr.: 13 ref
keel
inglise
Altenkirch, T., Uustalu, T.* Normalization by evaluation for lambda 2 // Functional and Logic Programming : 7th International Symposium, FLOPS 2004 : Nara, Japan, April 7-9, 2004 : proceedings. Berlin : Springer, 2004. p. [260]-275.