Functional and Logic Programming : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings - Matthias Blume, Naoki Kobayashi, Germán Vidal ((Lecture Notes in Computer Science))