Central European Functional Programming School

1. Front Matter

   Pages I-VII

   PDF

2. Functional Programming for Domain-Specific Languages

   • Jeremy Gibbons

   Pages 1-28

3. Structured Parallel Programming with “core” FastFlow

   • Marco Danelutto, Massimo Torquati

   Pages 29-75

4. DSL in C++ Template Metaprogram

   • Zoltán Porkoláb, Ábel Sinkovics, István Siroki

   Pages 76-114

5. The Idris Programming Language

   • Edwin Brady

   Pages 115-186

6. An Introduction to Task Oriented Programming

   • Peter Achten, Pieter Koopman, Rinus Plasmeijer

   Pages 187-245

7. Spreadsheet Engineering

   • Jácome Cunha, João Paulo Fernandes, Jorge Mendes, João Saraiva

   Pages 246-299

8. The EDSL’s Struggle for Their Sources

   • Gergely Dévai, Dániel Leskó, Máté Tejfel

   Pages 300-335

9. Hardware Specification with C \(\varvec{\lambda }\) aSH

   • Jan Kuper

   Pages 336-380

10. Functional Web and Mobile Development in F#

    • Adam Granicz

    Pages 381-406

11. Zipper-Based Modular and Deforested Computations

    • Pedro Martins, João Paulo Fernandes, João Saraiva

    Pages 407-427

12. Tasklets: Client-Side Evaluation for iTask3

    • László Domoszlai, Rinus Plasmeijer

    Pages 428-445

13. DSL for Grammar Refactoring Patterns

    • Ivan Halupka

    Pages 446-458

14. Design and Implementation of Queries for Model-Driven Spreadsheets

    • Jácome Cunha, João Paulo Fernandes, Jorge Mendes, Rui Pereira, João Saraiva

    Pages 459-478

15. Rea: Workflows for Cyber-Physical Systems

    • Dávid Juhász, László Domoszlai, Barnabás Králik

    Pages 479-506

16. Back Matter

    Pages 507-507

    PDF

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

• Faculty of Informatics, Eötvös Loránd University, Budapest, Hungary

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

• Faculty of Mathematics and Informatics, Babeş-Bolyai University, Cluj-Napoca, Romania

  Lehel Csató

Policies and ethics