Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer
Revised Selected Papers of the Fourth Central European Functional Programming School
CEFP, 2011.

@proceedings{CEFP-2011,
	address       = "Budapest, Hungary",
	doi           = "10.1007/978-3-642-32096-5",
	editor        = "Viktória Zsók and Zoltán Horváth and Rinus Plasmeijer",
	isbn          = "978-3-642-32095-8",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the Fourth Central European Functional Programming School}",
	volume        = 7241,
	year          = 2011,
}

Event page: http://plc.inf.elte.hu/cefp/

Contents (11 items)

4 ×#programming
3 ×#functional
3 ×#haskell
2 ×#multi
2 ×#named
2 ×#parallel
2 ×#reasoning

CEFP-2011-JeuringGH #haskell #programming

A Programming Tutor for Haskell (JJ, AG, BH), pp. 1–45.

CEFP-2011-PlasmeijerALM #multi #web

Defining Multi-user Web Applications with iTasks (RP, PA, BL, SM), pp. 46–92.

CEFP-2011-Butterfield #functional #reasoning #source code

Reasoning about I/O in Functional Programs (AB), pp. 93–141.

CEFP-2011-Loogen #functional #haskell #named #parallel #programming

Eden — Parallel Functional Programming with Haskell (RL), pp. 142–206.

CEFP-2011-Grelck #c #performance

Single Assignment C (SAC) High Productivity Meets High Performance (CG), pp. 207–278.

CEFP-2011-MichaelsonG #calculus #multi #reasoning

Reasoning about Multi-process Systems with the Box Calculus (GM, GG), pp. 279–338.

CEFP-2011-Marlow #concurrent #haskell #parallel #programming

Parallel and Concurrent Programming in Haskell (SM), pp. 339–401.

CEFP-2011-AxelssonS #implementation #named

Feldspar: Application and Implementation (EA, MS), pp. 402–439.

CEFP-2011-TothB #erlang #static analysis

Static Analysis of Complex Software Systems Implemented in Erlang (MT, IB), pp. 440–498.

CEFP-2011-Pali

Extending Little Languages into Big Systems (GP), pp. 499–516.

CEFP-2011-SlodicakMN #category theory #functional #programming

Some New Approaches in Functional Programming Based on Categories (VS, PM, VN), pp. 517–532.