Skip to main content
SpringerLink
Log in

Central European Functional Programming School

4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers

  • Textbook
  • © 2012

Overview

Editors:
  1. 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

  2. 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

  3. Rinus Plasmeijer

    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

  • Features top-quality selected papers
  • Uniquely high-profile
  • Includes state-of-the-art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7241)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: CEFP 2011.

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. A Programming Tutor for Haskell

    • Johan Jeuring, Alex Gerdes, Bastiaan Heeren
    Pages 1-45

  3. Defining Multi-user Web Applications with iTasks

    • Rinus Plasmeijer, Peter Achten, Bas Lijnse, Steffen Michels
    Pages 46-92

  4. Reasoning about I/O in Functional Programs

    • Andrew Butterfield
    Pages 93-141

  5. Eden – Parallel Functional Programming with Haskell

    • Rita Loogen
    Pages 142-206

  6. Single Assignment C (SAC) High Productivity Meets High Performance

    • Clemens Grelck
    Pages 207-278

  7. Reasoning about Multi-process Systems with the Box Calculus

    • Greg Michaelson, Gudmund Grov
    Pages 279-338

  8. Parallel and Concurrent Programming in Haskell

    • Simon Marlow
    Pages 339-401

  9. Feldspar: Application and Implementation

    • Emil Axelsson, Mary Sheeran
    Pages 402-439

  10. Static Analysis of Complex Software Systems Implemented in Erlang

    • Melinda Tóth, István Bozó
    Pages 440-498

  11. Extending Little Languages into Big Systems

    • Gábor Páli
    Pages 499-516

  12. Some New Approaches in Functional Programming Based on Categories

    • Viliam Slodičák, Pavol Macko, Valerie Novitzká
    Pages 517-532

  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 Fourth Central European Functional Programming School, CEFP 2011, held in June 2011 in Budapest, Hungary. The 11 revised full papers presented were carefully reviewed by experts on functional programming and revised based on the reviews. The lectures cover a wide range of distributed and multicore functional programming subjects. The last 2 papers are selected papers of the PhD Workshop organized for the participants of the summer school.

Editors and Affiliations

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

    Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer

Bibliographic Information

  • Book Title: Central European Functional Programming School

  • Book Subtitle: 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers

  • Editors: Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-32096-5

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2012

  • Softcover ISBN: 978-3-642-32095-8Published: 04 July 2012

  • eBook ISBN: 978-3-642-32096-5Published: 11 July 2012

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VII, 533

  • Number of Illustrations: 125 b/w illustrations

  • Topics: Programming Techniques, Software Engineering, Programming Languages, Compilers, Interpreters

Publish with us

Policies and ethics

Back to top

Search

Navigation