Constitutes the refereed proceedings of the 9th International Symposium on Functional & Logic Programming, FLOPS 2008, held in Ise, Japan, in April 2008. This book
Includes:: papers that are organized in topical sections on constraints, constructive arithmetic, dependent types, rewriting, program transformation, & logic & lambda-calculus.