Skip to main content
SpringerLink
Log in

Central European Functional Programming School

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

  • Textbook
  • © 2015

Overview

Editors:
  1. Viktória Zsók

    1. Faculty of Informatics, 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, Eötvös Loránd University, Budapest, Hungary

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Lehel Csató

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Made for students, researchers, and practitioners
  • Includes state-of-the-art research
  • Comprehensive in scope

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

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

Included in the following conference series:

Conference proceedings info: CEFP 2013.

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 EPUB and 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 (14 chapters)

  1. Front Matter

    Pages I-VII
    Download chapter 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
    Download chapter PDF
Back to top

Keywords

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.

Editors and Affiliations

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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation