Viktória Zsók, Zoltán Horváth, Lehel Csató
Revised Selected Papers of the Fifth Central European Functional Programming School
CEFP, 2013.

@proceedings{CEFP-2013,
	address       = "Cluj-Napoca, Romania",
	doi           = "10.1007/978-3-319-15940-9",
	editor        = "Viktória Zsók and Zoltán Horváth and Lehel Csató",
	isbn          = "978-3-319-15939-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the Fifth Central European Functional Programming School}",
	volume        = 8606,
	year          = 2013,
}

Event page: http://dsl2013.math.ubbcluj.ro/

Contents (14 items)

4 ×#domain-specific language
3 ×#programming
2 ×#functional
2 ×#implementation
2 ×#named
2 ×#spreadsheet

CEFP-2013-Gibbons #domain-specific language #functional #programming

Functional Programming for Domain-Specific Languages (JG), pp. 1–28.

CEFP-2013-DaneluttoT #parallel #programming

Structured Parallel Programming with “core” FastFlow (MD, MT), pp. 29–75.

CEFP-2013-PorkolabSS #c++ #domain-specific language #metaprogramming

DSL in C++ Template Metaprogram (ZP, ÁS, IS), pp. 76–114.

CEFP-2013-Brady #dependent type #domain-specific language #embedded #implementation #programming language

The Idris Programming Language — Implementing Embedded Domain Specific Languages with Dependent Types (EB), pp. 115–186.

CEFP-2013-AchtenKP #programming

An Introduction to Task Oriented Programming (PA, PWMK, RP), pp. 187–245.

CEFP-2013-CunhaFMS #spreadsheet

Spreadsheet Engineering (JC, JPF, JM, JS), pp. 246–299.

CEFP-2013-DevaiLT

The EDSL’s Struggle for Their Sources (GD, DL, MT), pp. 300–335.

CEFP-2013-Kuper #hardware #specification

Hardware Specification with CλaSH (JK), pp. 336–380.

CEFP-2013-Granicz #development #f# #functional #mobile #web

Functional Web and Mobile Development in F# (AG), pp. 381–406.

CEFP-2013-0001FS #composition

Zipper-Based Modular and Deforested Computations (PM, JPF, JS), pp. 407–427.

CEFP-2013-DomoszlaiP #evaluation #named

Tasklets: Client-Side Evaluation for iTask3 (LD, RP), pp. 428–445.

CEFP-2013-Halupka #domain-specific language #refactoring

DSL for Grammar Refactoring Patterns (IH), pp. 446–458.

CEFP-2013-CunhaFMPS #design #implementation #modelling #query #spreadsheet

Design and Implementation of Queries for Model-Driven Spreadsheets (JC, JPF, JM, RP, JS), pp. 459–478.

CEFP-2013-JuhaszDK #cyber-physical #named #workflow

Rea: Workflows for Cyber-Physical Systems (DJ, LD, BK), pp. 479–506.