Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers / [electronic resource] :
edited by Manuel Serrano, Jurriaan Hage.
- 1st ed. 2016.
- VII, 157 p. 22 illus. online resource.
- Theoretical Computer Science and General Issues, 9547 2512-2029 ; .
- Theoretical Computer Science and General Issues, 9547 .
Functional Programming -- Engineering Mathematics -- Functional Languaguages -- Parallel Skeletons -- Recursive Programs -- Java Programs.
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.
9783319391106
10.1007/978-3-319-39110-6 doi
Computer programming.
Compilers (Computer programs).
Software engineering.
Computer science.
Artificial intelligence.
Machine theory.
Programming Techniques.
Compilers and Interpreters.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Artificial Intelligence.
Formal Languages and Automata Theory.
QA76.6-76.66
005.11
Functional Programming -- Engineering Mathematics -- Functional Languaguages -- Parallel Skeletons -- Recursive Programs -- Java Programs.
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.
9783319391106
10.1007/978-3-319-39110-6 doi
Computer programming.
Compilers (Computer programs).
Software engineering.
Computer science.
Artificial intelligence.
Machine theory.
Programming Techniques.
Compilers and Interpreters.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Artificial Intelligence.
Formal Languages and Automata Theory.
QA76.6-76.66
005.11