TY  - BOOK
AU  - Page,Rex
AU  - Horváth,Zoltán
AU  - Zsók,Viktória
ED  - SpringerLink (Online service)
TI  - Trends in Functional Programming: 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers 
T2  - Lecture Notes in Computer Science,
SN  - 9783642229411
AV  - QA76.7-76.73 
U1  - 005.13 23
PY  - 2011///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Logic design
KW  - Computer Science
KW  - Programming Languages, Compilers, Interpreters
KW  - Programming Techniques
KW  - Logics and Meanings of Programs
KW  - Software Engineering
KW  - Mathematical Logic and Formal Languages
N2  - This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Symposium on Trends in Functional Programming, TFP 2010, held in Norman, OK, USA, in May 2010. The 13 revised full papers presented were carefully reviewed and selected from 26 submissions during two rounds of reviewing and improvement. The papers cover new ideas for refactoring, managing source-code complexity, functional language implementation, graphical languages, applications of functional programming in pure mathematics, type theory, multitasking and parallel processing, distributed systems, scientific modeling, domain specific languages, hardware design, education, and testing
UR  - http://dx.doi.org/10.1007/978-3-642-22941-1
ER  -