© 2015

Central European Functional Programming School

5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers

  • Viktória Zsók
  • Zoltán Horváth
  • Lehel Csató
Textbook CEFP 2013

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 8606)

Table of contents

  1. Front Matter
    Pages I-VII
  2. Marco Danelutto, Massimo Torquati
    Pages 29-75
  3. Zoltán Porkoláb, Ábel Sinkovics, István Siroki
    Pages 76-114
  4. Edwin Brady
    Pages 115-186
  5. Peter Achten, Pieter Koopman, Rinus Plasmeijer
    Pages 187-245
  6. Jácome Cunha, João Paulo Fernandes, Jorge Mendes, João Saraiva
    Pages 246-299
  7. Gergely Dévai, Dániel Leskó, Máté Tejfel
    Pages 300-335
  8. Adam Granicz
    Pages 381-406
  9. Pedro Martins, João Paulo Fernandes, João Saraiva
    Pages 407-427
  10. László Domoszlai, Rinus Plasmeijer
    Pages 428-445
  11. Ivan Halupka
    Pages 446-458
  12. Jácome Cunha, João Paulo Fernandes, Jorge Mendes, Rui Pereira, João Saraiva
    Pages 459-478
  13. Dávid Juhász, László Domoszlai, Barnabás Králik
    Pages 479-506
  14. Back Matter
    Pages 507-507

About this book


This volume presents the revised lecture notes of selected talks given at the Fifth Central European Functional Programming School, CEFP 2013, held in July 2013 in Cluj-Napoca, Romania. The 14 revised full papers presented were carefully reviewed and selected. The lectures cover a wide range of distributed and multicore functional programming subjects. The last 5 papers are selected papers of the PhD Workshop organized for the participants of the summer school.


Concurrent programming Cyber-physical systems Deforested computatio Domain-specific languages Functional Web Functional programs Generic programming Grammar refactoring Grammarware engineering Haskell Idris Mobile development Model-driven engineering Programming languages Querying Software engineering Spreadsheet engineering Structural patterns Structured parallel programming Task-oriented programming

Editors and affiliations

  • Viktória Zsók
    • 1
  • Zoltán Horváth
    • 2
  • Lehel Csató
    • 3
  1. 1.Faculty of InformaticsEötvös Loránd UniversityBudapestHungary
  2. 2.Faculty of InformaticsEötvös Loránd UniversityBudapestHungary
  3. 3.Faculty of Mathematics and InformaticsBabeş-Bolyai UniversityCluj-NapocaRomania

Bibliographic information