Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures / [electronic resource] :
edited by Zoltán Horváth, Rinus Plasmeijer, Viktoria Zsók.
- 1st ed. 2010.
- IX, 391 p. 44 illus., 10 illus. in color. online resource.
- Theoretical Computer Science and General Issues, 6299 2512-2029 ; .
- Theoretical Computer Science and General Issues, 6299 .
This volume presents the revised lecture notes of selected talks given at the Third Central European Functional Programming School, CEFP 2009, held in May 2009 in Komárno, Slovakia. It was co-organized with the TFP 2009 conference. The summer school included a three days warm-up session organized in Budapest, Hungary also in May, 2009. The 11 revised full papers presented were carefully reviewed and selected. The lectures cover a wide range of topics such as design patterns, semantics, types, and advanced programming in various functional programming languages.
9783642176852
10.1007/978-3-642-17685-2 doi
Software engineering.
Compilers (Computer programs).
Computer programming.
Computer science.
Machine theory.
Computer networks .
Software Engineering.
Compilers and Interpreters.
Programming Techniques.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Computer Communication Networks.
QA76.758
005.1
This volume presents the revised lecture notes of selected talks given at the Third Central European Functional Programming School, CEFP 2009, held in May 2009 in Komárno, Slovakia. It was co-organized with the TFP 2009 conference. The summer school included a three days warm-up session organized in Budapest, Hungary also in May, 2009. The 11 revised full papers presented were carefully reviewed and selected. The lectures cover a wide range of topics such as design patterns, semantics, types, and advanced programming in various functional programming languages.
9783642176852
10.1007/978-3-642-17685-2 doi
Software engineering.
Compilers (Computer programs).
Computer programming.
Computer science.
Machine theory.
Computer networks .
Software Engineering.
Compilers and Interpreters.
Programming Techniques.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Computer Communication Networks.
QA76.758
005.1