Login / Signup
CEFP
2005
2011
2017
2023
2005
2023
Keyphrases
Publications
volume 11950, 2023
Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers
CEFP
11950 (2023)
2019
João Saraiva
,
Rui Pereira
Energy Efficient Software in an Engineering Course.
CEFP
(2019)
Stefan Korecko
Utilizing Rail Traffic Control Simulator in Verified Software Development Courses.
CEFP
(2019)
Tihana Galinac Grbac
,
Nikola Domazet
The Role of Functional Programming in Management and Orchestration of Virtualized Network Resources - Part II. Network Evolution and Design Principles.
CEFP
(2019)
Rui Pereira
,
Marco Couto
,
Jácome Cunha
,
Gilberto Melfe
,
João Saraiva
,
João Paulo Fernandes
Paint Your Programs Green: On the Energy Efficiency of Data Structures.
CEFP
(2019)
Tibor Brunner
,
Máté Cserép
,
Anett Fekete
,
Mónika Mészáros
,
Zoltán Porkoláb
Towards Better Tool Support for Code Comprehension.
CEFP
(2019)
Gonçalo Lopes
,
João Paulo Fernandes
,
Luís Paquete
An Empirical Study on the Energy Efficiency of Matrix Transposition Algorithms.
CEFP
(2019)
Jianhao Li
,
Yuri Kim
,
Viktória Zsók
Balanced Distributed Computation Patterns.
CEFP
(2019)
Bart Zuilhof
,
Rinse van Hees
,
Clemens Grelck
Code Quality Metrics for Functional Features in Modern Object-Oriented Languages.
CEFP
(2019)
Nikolay Handzhiyski
,
Elena Somova
Tunnel Parsing.
CEFP
(2019)
Simon Baars
,
Ana Oprescu
Finding Code Clone Refactoring Techniques by Mapping Clone Context.
CEFP
(2019)
Mart Lubbers
,
Pieter W. M. Koopman
,
Rinus Plasmeijer
Writing Internet of Things Applications with Task Oriented Programming.
CEFP
(2019)
volume 10094, 2019
Central European Functional Programming School - 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers
CEFP
10094 (2019)
2015
Gábor Oláh
,
Gergely Nagy
,
Zoltán Porkoláb
Analyzing Scale-Free Properties in Erlang and Scala.
CEFP
(2015)
Jurriën Stutterheim
,
Peter Achten
,
Rinus Plasmeijer
Static and Dynamic Visualisations of Monadic Programs.
CEFP
(2015)
Rainer Grimm
Programming in a Functional Style in C++.
CEFP
(2015)
Stefan Korecko
Functional Languages in Design of Coloured Petri Nets Models.
CEFP
(2015)
Clemens Grelck
Single Assignment C (SAC) - The Compilation Technology Perspective.
CEFP
(2015)
Pieter W. M. Koopman
,
Rinus Plasmeijer
Type-Safe Functions and Tasks in a Shallow Embedded DSL for Microprocessors.
CEFP
(2015)
Ivan Cukic
Functional Reactive Programming in C++.
CEFP
(2015)
João Paulo Fernandes
,
Jácome Cunha
,
João Saraiva
,
Alberto Pardo
Watch Out for that Tree! A Tutorial on Shortcut Deforestation.
CEFP
(2015)
Zoltán Porkoláb
Immutables in C++: Language Foundation for Functional Programming.
CEFP
(2015)
Adam Granicz
,
Loïc Denuzière
Functional, Reactive Web Programming in F#.
CEFP
(2015)
volume 8606, 2015
Central European Functional Programming School - 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers
CEFP
8606 (2015)
2013
Peter Achten
,
Pieter W. M. Koopman
,
Rinus Plasmeijer
An Introduction to Task Oriented Programming.
CEFP
(2013)
Ivan Halupka
DSL for Grammar Refactoring Patterns.
CEFP
(2013)
Marco Danelutto
,
Massimo Torquati
Structured Parallel Programming with "core" FastFlow.
CEFP
(2013)
Zoltán Porkoláb
,
Ábel Sinkovics
,
István Siroki
DSL in C++ Template Metaprogram.
CEFP
(2013)
Adam Granicz
Functional Web and Mobile Development in F#.
CEFP
(2013)
Pedro Martins
,
João Paulo Fernandes
,
João Saraiva
Zipper-Based Modular and Deforested Computations.
CEFP
(2013)
Jácome Cunha
,
João Paulo Fernandes
,
Jorge Mendes
,
Rui Pereira
,
João Saraiva
Design and Implementation of Queries for Model-Driven Spreadsheets.
CEFP
(2013)
László Domoszlai
,
Rinus Plasmeijer
Tasklets: Client-Side Evaluation for iTask3.
CEFP
(2013)
David Juhasz
,
László Domoszlai
,
Barnabas Kralik
Rea: Workflows for Cyber-Physical Systems.
CEFP
(2013)
Jeremy Gibbons
Functional Programming for Domain-Specific Languages.
CEFP
(2013)
Gergely Dévai
,
Dániel Leskó
,
Máté Tejfel
The EDSL's Struggle for Their Sources.
CEFP
(2013)
Jácome Cunha
,
João Paulo Fernandes
,
Jorge Mendes
,
João Saraiva
Spreadsheet Engineering.
CEFP
(2013)
Jan Kuper
Hardware Specification with C \varvecλ aSH.
CEFP
(2013)
Edwin C. Brady
The Idris Programming Language - Implementing Embedded Domain Specific Languages with Dependent Types.
CEFP
(2013)
volume 7241, 2012
Central European Functional Programming School - 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers
CEFP
7241 (2012)
2011
Rinus Plasmeijer
,
Peter Achten
,
Bas Lijnse
,
Steffen Michels
Defining Multi-user Web Applications with iTasks.
CEFP
(2011)
Greg Michaelson
,
Gudmund Grov
Reasoning about Multi-process Systems with the Box Calculus.
CEFP
(2011)
Andrew Butterfield
Reasoning about I/O in Functional Programs.
CEFP
(2011)
Johan Jeuring
,
Alex Gerdes
,
Bastiaan Heeren
A Programming Tutor for Haskell.
CEFP
(2011)
Simon Marlow
Parallel and Concurrent Programming in Haskell.
CEFP
(2011)
Emil Axelsson
,
Mary Sheeran
Feldspar: Application and Implementation.
CEFP
(2011)
Gábor Páli
Extending Little Languages into Big Systems.
CEFP
(2011)
Clemens Grelck
Single Assignment C (SAC) High Productivity Meets High Performance.
CEFP
(2011)
Melinda Tóth
,
István Bozó
Static Analysis of Complex Software Systems Implemented in Erlang.
CEFP
(2011)
Rita Loogen
Eden - Parallel Functional Programming with Haskell.
CEFP
(2011)
Viliam Slodicák
,
Pavol Macko
,
Valerie Novitzká
Some New Approaches in Functional Programming Based on Categories.
CEFP
(2011)