Gopalan Nadathur (auth.), Herbert Kuchen, Kazunori Ueda (eds.)

Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings