TY - BOOK
T1 - Functional and Logic Programming
T2 - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
A2 - Codish, Michael
A2 - Sumii, Eijiro
N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.
PY - 2014
Y1 - 2014
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-319-07151-0
DO - 10.1007/978-3-319-07151-0
M3 - Book
SN - 978-3-319-07150-3
VL - 8475
T3 - Lecture Notes in Computer Science
BT - Functional and Logic Programming
PB - Springer International Publishing
CY - Cham
ER -