Editors:
High quality selected papers
Unique visibility
State of the art research
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6299)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): CEFP: Central European Functional Programming School
Conference proceedings info: CEFP 2009.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (11 chapters)
-
Front Matter
-
Back Matter
About this book
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.
Keywords
- C++
- Erlang
- F#
- Haskell
- Manticore
- consistency
- design patterns
- functional programming
- parallel programming
- programming languages
- rapid prototyping
- software engineering
- software testing
Editors and Affiliations
-
Faculty of Informatics, Department of Programming Languages and Compilers, Eötvös Loránd University, Budapest, Hungary
Zoltán Horváth, Viktória Zsók
-
Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands
Rinus Plasmeijer
Bibliographic Information
Book Title: Central European Functional Programming School
Book Subtitle: Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures
Editors: Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-17685-2
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Berlin Heidelberg 2010
Softcover ISBN: 978-3-642-17684-5Published: 04 January 2011
eBook ISBN: 978-3-642-17685-2Published: 06 December 2010
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VII, 391
Topics: Software Engineering, Compilers and Interpreters, Programming Techniques, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Computer Communication Networks