Download Functional And Logic Programming: 12Th International Symposium, Flops 2014, Kanazawa, Japan, June 4 6, 2014. Proceedings