TalTech publikatsioonid
pealdis Altenkirch, T., Uustalu, T.*
maakood de
autor Altenkirch, Thorsten
Uustalu, Tarmo
pealkiri 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 Springer
ilmumisaasta c2004
leheküljed p. [260]-275
ISBN 3-540-21402-X
märkused Bibliogr.: 13 ref