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

Proceedings of the Fifth International Symposium, FLOPS 2001, on Functional and Logic Programming, held in Tokyo, Japan, in March 2001. Main topics of interest include functional programming, logic programming, functional logic programming, types, and program analysis and transformation. Softcover.