Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings By Michael Codish, Eijiro Sumii (eds.)
2014 | 353 Pages | ISBN: 3319071505 | PDF | 5 MB
2014 | 353 Pages | ISBN: 3319071505 | PDF | 5 MB
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.