Skip to main content
SpringerLink
Log in
Book cover
  • Textbook
  • © 2012

Central European Functional Programming School

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

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)

Conference series link(s): CEFP: Central European Functional Programming School

Conference proceedings info: CEFP 2011.

Sections

Buy it now

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

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

Table of contents (11 chapters)

  1. Front Matter

    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

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

    • Greg Michaelson, Gudmund Grov
    Pages 279-338

  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

    PDF
Back to top

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.
Back to top

Keywords

Back to top

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

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation