Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings (Lecture Notes in Computer Science)
暫譯: 函數式與邏輯程式設計：第十二屆國際研討會，FLOPS 2014，金澤，日本，2014年6月4-6日。會議論文集（計算機科學講義）

This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. The 21 full papers and 3 invited talks presented in this volume were carefully reviewed and selected from 41 submissions. They deal with declarative programming, including functional programming and logic programming.