Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings Blume Matthias Heftet / 2010 / Engelsk