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

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

Event page: http://www.inf.elte.hu/english/conf/tfp_cefp_2009/Lapok/index.aspx

Contents (11 items)

2 ×#behaviour
2 ×#erlang
2 ×#functional
2 ×#programming

CEFP-2009-Granicz #agile #domain-specific language #f# #prototype

Rapid Prototyping of DSLs with F# (AG), pp. 1–18.

CEFP-2009-CesariniT #behaviour #design pattern #erlang #process #programming

Erlang Behaviours: Programming with Process Design Patterns (FC, SJT), pp. 19–41.

CEFP-2009-Hinze #reasoning

Reasoning about Codata (RH), pp. 42–93.

CEFP-2009-FluetBFRRSX #functional #parallel #programming

Programming in Manticore, a Heterogenous Parallel Functional Language (MF, LB, NF, MR, JHR, AS, YX), pp. 94–145.

CEFP-2009-Divianszky #modelling

Non-monadic Models of Mutable References (PD), pp. 146–182.

CEFP-2009-Hughes #quickcheck #testing

Software Testing with QuickCheck (JH), pp. 183–223.

CEFP-2009-KoopmanPA #consistency #effectiveness #semantics

An Effective Methodology for Defining Consistent Semantics of Complex Systems (PWMK, RP, PA), pp. 224–267.

CEFP-2009-Kennedy #theory and practice

Types for Units-of-Measure: Theory and Practice (AK), pp. 268–305.

CEFP-2009-Porkolab #c++ #functional #metaprogramming

Functional Programming with C++ Template Metaprograms (ZP), pp. 306–353.

CEFP-2009-Devai #haskell #proving

Embedding a Proof System in Haskell (GD), pp. 354–371.

CEFP-2009-TothBHLTK #behaviour #dependence #erlang #graph #impact analysis #source code #using

Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs (MT, IB, ZH, LL, MT, TK), pp. 372–390.