TY - BOOK AU - Serrano,Manuel AU - Hage,Jurriaan ED - SpringerLink (Online service) TI - Trends in Functional Programming: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers T2 - Lecture Notes in Computer Science, SN - 9783319391106 AV - QA76.6-76.66 U1 - 005.11 23 PY - 2016/// CY - Cham PB - Springer International Publishing, Imprint: Springer KW - Computer science KW - Computer programming KW - Software engineering KW - Programming languages (Electronic computers) KW - Computer logic KW - Mathematical logic KW - Artificial intelligence KW - Computer Science KW - Programming Techniques KW - Programming Languages, Compilers, Interpreters KW - Software Engineering KW - Logics and Meanings of Programs KW - Artificial Intelligence (incl. Robotics) KW - Mathematical Logic and Formal Languages N1 - Functional Programming -- Engineering Mathematics -- Functional Languaguages -- Parallel Skeletons -- Recursive Programs -- Java Programs N2 - This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume were carefully and selected from 26 submissions. TFP is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium UR - http://148.231.10.114:2048/login?url=http://dx.doi.org/10.1007/978-3-319-39110-6 ER -