- Gergely Dévai, Dániel Leskó
, Máté Tejfel:
The EDSL's Struggle for Their Sources. CEFP 2013: 300-335 - László Domoszlai, Rinus Plasmeijer:
Tasklets: Client-Side Evaluation for iTask3. CEFP 2013: 428-445 - Jeremy Gibbons:
Functional Programming for Domain-Specific Languages. CEFP 2013: 1-28 - Adam Granicz:
Functional Web and Mobile Development in F#. CEFP 2013: 381-406 - Ivan Halupka:
DSL for Grammar Refactoring Patterns. CEFP 2013: 446-458 - David Juhasz, László Domoszlai, Barnabas Kralik:
Rea: Workflows for Cyber-Physical Systems. CEFP 2013: 479-506 - Jan Kuper:
Hardware Specification with C \varvecλ aSH. CEFP 2013: 336-380 - Zoltán Porkoláb, Ábel Sinkovics, István Siroki:
DSL in C++ Template Metaprogram. CEFP 2013: 76-114 - 2012
- Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer:
Central European Functional Programming School - 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7241, Springer 2012, ISBN 978-3-642-32095-8 [contents] - 2011
- Emil Axelsson, Mary Sheeran:
Feldspar: Application and Implementation. CEFP 2011: 402-439 - Andrew Butterfield:
Reasoning about I/O in Functional Programs. CEFP 2011: 93-141 - Clemens Grelck:
Single Assignment C (SAC) High Productivity Meets High Performance. CEFP 2011: 207-278 - Johan Jeuring, Alex Gerdes, Bastiaan Heeren:
A Programming Tutor for Haskell. CEFP 2011: 1-45 - Rita Loogen:
Eden - Parallel Functional Programming with Haskell. CEFP 2011: 142-206 - Simon Marlow:
Parallel and Concurrent Programming in Haskell. CEFP 2011: 339-401 - Greg Michaelson, Gudmund Grov:
Reasoning about Multi-process Systems with the Box Calculus. CEFP 2011: 279-338 - Gábor Páli:
Extending Little Languages into Big Systems. CEFP 2011: 499-516 - Rinus Plasmeijer, Peter Achten, Bas Lijnse, Steffen Michels:
Defining Multi-user Web Applications with iTasks. CEFP 2011: 46-92 - Viliam Slodicák, Pavol Macko, Valerie Novitzká:
Some New Approaches in Functional Programming Based on Categories. CEFP 2011: 517-532 - Melinda Tóth, István Bozó:
Static Analysis of Complex Software Systems Implemented in Erlang. CEFP 2011: 440-498 - 2010
- Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók:
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. Lecture Notes in Computer Science 6299, Springer 2010, ISBN 978-3-642-17684-5 [contents] - 2009
- Francesco Cesarini, Simon J. Thompson:
Erlang Behaviours: Programming with Process Design Patterns. CEFP 2009: 19-41 - Gergely Dévai:
Embedding a Proof System in Haskell. CEFP 2009: 354-371 - Péter Diviánszky:
Non-monadic Models of Mutable References. CEFP 2009: 146-182 - Matthew Fluet, Lars Bergstrom, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao:
Programming in Manticore, a Heterogenous Parallel Functional Language. CEFP 2009: 94-145 - Adam Granicz:
Rapid Prototyping of DSLs with F#. CEFP 2009: 1-18 - Ralf Hinze:
Reasoning about Codata. CEFP 2009: 42-93 - John Hughes:
Software Testing with QuickCheck. CEFP 2009: 183-223 - Andrew Kennedy:
Types for Units-of-Measure: Theory and Practice. CEFP 2009: 268-305 - Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten:
An Effective Methodology for Defining Consistent Semantics of Complex Systems. CEFP 2009: 224-267
