Trends in Functional Programming 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers /
Trends in Functional Programming 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers / [electronic resource] :
edited by Ricardo Peña, Rex Page.
- 1st ed. 2012.
- X, 195 p. 66 illus. online resource.
- Theoretical Computer Science and General Issues, 7193 2512-2029 ; .
- Theoretical Computer Science and General Issues, 7193 .
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers presented were carefully reviewed and selected from 21 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in this area. The topical sections the papers are organized in are named as follows: types, compiling, parallelism and distribution, data structures, and miscellaneous.
9783642320378
10.1007/978-3-642-32037-8 doi
Computer programming.
Compilers (Computer programs).
Artificial intelligence--Data processing.
Computer science.
Programming Techniques.
Compilers and Interpreters.
Data Science.
Computer Science Logic and Foundations of Programming.
QA76.6-76.66
005.11
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers presented were carefully reviewed and selected from 21 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in this area. The topical sections the papers are organized in are named as follows: types, compiling, parallelism and distribution, data structures, and miscellaneous.
9783642320378
10.1007/978-3-642-32037-8 doi
Computer programming.
Compilers (Computer programs).
Artificial intelligence--Data processing.
Computer science.
Programming Techniques.
Compilers and Interpreters.
Data Science.
Computer Science Logic and Foundations of Programming.
QA76.6-76.66
005.11