Functional and Logic Programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings - Tom Schrijvers, Peter Thiemann ((Lecture Notes in Computer Science))