Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings - Blume, Matthias; Kobayashi, Naoki; Vidal-Oriola, Germán (Theoretical Computer Science and General Issues,, 2010)