Central European Functional Programming School - Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures - researchr publication

researchr

You are not signed in
Sign in
Sign up

Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók, editors, Central European Functional Programming School - Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures. Volume 6299 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Conference: cefp2010

Abstract is missing.

Rapid Prototyping of DSLs with F#Adam Granicz. 1-18 [doi]

Erlang Behaviours: Programming with Process Design PatternsFrancesco Cesarini, Simon J. Thompson. 19-41 [doi]

Reasoning about CodataRalf Hinze. 42-93 [doi]

Programming in Manticore, a Heterogenous Parallel Functional LanguageMatthew Fluet, Lars Bergstrom, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao. 94-145 [doi]

Software Testing with QuickCheckJohn Hughes. 183-223 [doi]

An Effective Methodology for Defining Consistent Semantics of Complex SystemsPieter W. M. Koopman, Rinus Plasmeijer, Peter Achten. 224-267 [doi]

Types for Units-of-Measure: Theory and PracticeAndrew Kennedy. 268-305 [doi]

Functional Programming with C++ Template MetaprogramsZoltán Porkoláb. 306-353 [doi]

Embedding a Proof System in HaskellGergely Dévai. 354-371 [doi]

Impact Analysis of Erlang Programs Using Behaviour Dependency GraphsMelinda Tóth, István Bozó, Zoltán Horváth, László Lövei, Máté Tejfel, Tamás Kozsik. 372-390 [doi]

runs on WebDSL