Skip to main content
SpringerLink
Log in
Book cover

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

  • Textbook
  • © 2010

Overview

Editors:
  1. Zoltán Horváth

    1. Faculty of Informatics, Department of Programming Languages and Compilers, Eötvös Loránd University, Budapest, Hungary

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Rinus Plasmeijer

    1. Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Viktória Zsók

    1. Faculty of Informatics, Department of Programming Languages and Compilers, Eötvös Loránd University, Budapest, Hungary

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

Included in the following conference series:

Conference proceedings info: CEFP 2009.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 chapters)

  1. Front Matter

    Download chapter PDF

  2. Rapid Prototyping of DSLs with F#

    • Adam Granicz
    Pages 1-18

  3. Erlang Behaviours: Programming with Process Design Patterns

    • Francesco Cesarini, Simon Thompson
    Pages 19-41

  4. Reasoning about Codata

    • Ralf Hinze
    Pages 42-93

  5. Programming in Manticore, a Heterogenous Parallel Functional Language

    • Matthew Fluet, Lars Bergstrom, Nic Ford, Mike Rainey, John Reppy, Adam Shaw et al.
    Pages 94-145

  6. Non-monadic Models of Mutable References

    • Péter Diviánszky
    Pages 146-182

  7. Software Testing with QuickCheck

    • John Hughes
    Pages 183-223

  8. An Effective Methodology for Defining Consistent Semantics of Complex Systems

    • Pieter Koopman, Rinus Plasmeijer, Peter Achten
    Pages 224-267

  9. Types for Units-of-Measure: Theory and Practice

    • Andrew Kennedy
    Pages 268-305

  10. Functional Programming with C++ Template Metaprograms

    • Zoltán Porkoláb
    Pages 306-353

  11. Embedding a Proof System in Haskell

    • Gergely Dévai
    Pages 354-371

  12. Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs

    • Melinda Tóth, István Bozó, Zoltán Horváth, László Lövei, Máté Tejfel, Tamás Kozsik
    Pages 372-390

  13. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation