Functional and Logic Programming : 7th International Symposium, FLOPS 2004 : Nara, Japan, April 7-9, 2004 : proceedings (source)

—
—
—
—
Add criteria Advanced search filter
Clear
types of item

  • book article
    Normalization by evaluation for lambda 2Altenkirch, Thorsten; Uustalu, TarmoFunctional and Logic Programming : 7th International Symposium, FLOPS 2004 : Nara, Japan, April 7-9, 2004 : proceedings2004 / p. [260]-275
    book article
Number of records 1, displaying 1 - 1