default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/cefp:"
download as .bib file
@proceedings{DBLP:conf/cefp/2019,
editor = {Zolt{\'{a}}n Porkol{\'{a}}b and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Composability, Comprehensibility and Correctness of Working Software
- 8th Summer School, {CEFP} 2019, Budapest, Hungary, June 17-21, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11950},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42833-3},
doi = {10.1007/978-3-031-42833-3},
isbn = {978-3-031-42832-6},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/BaarsO19,
author = {Simon Baars and
Ana Oprescu},
editor = {Zolt{\'{a}}n Porkol{\'{a}}b and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Finding Code Clone Refactoring Techniques by Mapping Clone Context},
booktitle = {Composability, Comprehensibility and Correctness of Working Software
- 8th Summer School, {CEFP} 2019, Budapest, Hungary, June 17-21, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11950},
pages = {344--357},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-031-42833-3\_9},
doi = {10.1007/978-3-031-42833-3\_9},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/BaarsO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/BrunnerCFMP19,
author = {Tibor Brunner and
M{\'{a}}t{\'{e}} Cser{\'{e}}p and
Anett Fekete and
M{\'{o}}nika M{\'{e}}sz{\'{a}}ros and
Zolt{\'{a}}n Porkol{\'{a}}b},
editor = {Zolt{\'{a}}n Porkol{\'{a}}b and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Towards Better Tool Support for Code Comprehension},
booktitle = {Composability, Comprehensibility and Correctness of Working Software
- 8th Summer School, {CEFP} 2019, Budapest, Hungary, June 17-21, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11950},
pages = {165--201},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-031-42833-3\_6},
doi = {10.1007/978-3-031-42833-3\_6},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cefp/BrunnerCFMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/GrbacD19,
author = {Tihana Galinac Grbac and
Nikola Domazet},
editor = {Zolt{\'{a}}n Porkol{\'{a}}b and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {The Role of Functional Programming in Management and Orchestration
of Virtualized Network Resources - Part {II.} Network Evolution and
Design Principles},
booktitle = {Composability, Comprehensibility and Correctness of Working Software
- 8th Summer School, {CEFP} 2019, Budapest, Hungary, June 17-21, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11950},
pages = {136--164},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-031-42833-3\_5},
doi = {10.1007/978-3-031-42833-3\_5},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/GrbacD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/HandzhiyskiS19,
author = {Nikolay Handzhiyski and
Elena Somova},
editor = {Zolt{\'{a}}n Porkol{\'{a}}b and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Tunnel Parsing},
booktitle = {Composability, Comprehensibility and Correctness of Working Software
- 8th Summer School, {CEFP} 2019, Budapest, Hungary, June 17-21, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11950},
pages = {325--343},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-031-42833-3\_8},
doi = {10.1007/978-3-031-42833-3\_8},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/HandzhiyskiS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Korecko19,
author = {Stefan Korecko},
editor = {Zolt{\'{a}}n Porkol{\'{a}}b and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Utilizing Rail Traffic Control Simulator in Verified Software Development
Courses},
booktitle = {Composability, Comprehensibility and Correctness of Working Software
- 8th Summer School, {CEFP} 2019, Budapest, Hungary, June 17-21, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11950},
pages = {98--135},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-031-42833-3\_4},
doi = {10.1007/978-3-031-42833-3\_4},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Korecko19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/LiKZ19,
author = {Jianhao Li and
Yuri Kim and
Vikt{\'{o}}ria Zs{\'{o}}k},
editor = {Zolt{\'{a}}n Porkol{\'{a}}b and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Balanced Distributed Computation Patterns},
booktitle = {Composability, Comprehensibility and Correctness of Working Software
- 8th Summer School, {CEFP} 2019, Budapest, Hungary, June 17-21, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11950},
pages = {202--321},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-031-42833-3\_7},
doi = {10.1007/978-3-031-42833-3\_7},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/LiKZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/LopesFP19,
author = {Gon{\c{c}}alo Lopes and
Jo{\~{a}}o Paulo Fernandes and
Lu{\'{\i}}s Paquete},
editor = {Zolt{\'{a}}n Porkol{\'{a}}b and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {An Empirical Study on the Energy Efficiency of Matrix Transposition
Algorithms},
booktitle = {Composability, Comprehensibility and Correctness of Working Software
- 8th Summer School, {CEFP} 2019, Budapest, Hungary, June 17-21, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11950},
pages = {375--391},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-031-42833-3\_11},
doi = {10.1007/978-3-031-42833-3\_11},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/LopesFP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/LubbersKP19,
author = {Mart Lubbers and
Pieter W. M. Koopman and
Rinus Plasmeijer},
editor = {Zolt{\'{a}}n Porkol{\'{a}}b and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Writing Internet of Things Applications with Task Oriented Programming},
booktitle = {Composability, Comprehensibility and Correctness of Working Software
- 8th Summer School, {CEFP} 2019, Budapest, Hungary, June 17-21, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11950},
pages = {3--52},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-031-42833-3\_1},
doi = {10.1007/978-3-031-42833-3\_1},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/LubbersKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/PereiraCCMSF19,
author = {Rui Pereira and
Marco Couto and
J{\'{a}}come Cunha and
Gilberto Melfe and
Jo{\~{a}}o Saraiva and
Jo{\~{a}}o Paulo Fernandes},
editor = {Zolt{\'{a}}n Porkol{\'{a}}b and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Paint Your Programs Green: On the Energy Efficiency of Data Structures},
booktitle = {Composability, Comprehensibility and Correctness of Working Software
- 8th Summer School, {CEFP} 2019, Budapest, Hungary, June 17-21, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11950},
pages = {53--76},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-031-42833-3\_2},
doi = {10.1007/978-3-031-42833-3\_2},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/PereiraCCMSF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/SaraivaP19,
author = {Jo{\~{a}}o Saraiva and
Rui Pereira},
editor = {Zolt{\'{a}}n Porkol{\'{a}}b and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Energy Efficient Software in an Engineering Course},
booktitle = {Composability, Comprehensibility and Correctness of Working Software
- 8th Summer School, {CEFP} 2019, Budapest, Hungary, June 17-21, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11950},
pages = {77--97},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-031-42833-3\_3},
doi = {10.1007/978-3-031-42833-3\_3},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/SaraivaP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/ZuilhofHG19,
author = {Bart Zuilhof and
Rinse van Hees and
Clemens Grelck},
editor = {Zolt{\'{a}}n Porkol{\'{a}}b and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Code Quality Metrics for Functional Features in Modern Object-Oriented
Languages},
booktitle = {Composability, Comprehensibility and Correctness of Working Software
- 8th Summer School, {CEFP} 2019, Budapest, Hungary, June 17-21, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11950},
pages = {358--374},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-031-42833-3\_10},
doi = {10.1007/978-3-031-42833-3\_10},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/ZuilhofHG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cefp/2015,
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Porkol{\'{a}}b and
Zolt{\'{a}}n Horv{\'{a}}th},
title = {Central European Functional Programming School - 6th Summer School,
{CEFP} 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10094},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-28346-9},
doi = {10.1007/978-3-030-28346-9},
isbn = {978-3-030-28345-2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cefp/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Cukic15,
author = {Ivan Cukic},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Porkol{\'{a}}b and
Zolt{\'{a}}n Horv{\'{a}}th},
title = {Functional Reactive Programming in {C++}},
booktitle = {Central European Functional Programming School - 6th Summer School,
{CEFP} 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10094},
pages = {42--74},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-030-28346-9\_2},
doi = {10.1007/978-3-030-28346-9\_2},
timestamp = {Mon, 03 Jan 2022 22:17:59 +0100},
biburl = {https://dblp.org/rec/conf/cefp/Cukic15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/FernandesCSP15,
author = {Jo{\~{a}}o Paulo Fernandes and
J{\'{a}}come Cunha and
Jo{\~{a}}o Saraiva and
Alberto Pardo},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Porkol{\'{a}}b and
Zolt{\'{a}}n Horv{\'{a}}th},
title = {Watch Out for that Tree! {A} Tutorial on Shortcut Deforestation},
booktitle = {Central European Functional Programming School - 6th Summer School,
{CEFP} 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10094},
pages = {1--41},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-030-28346-9\_1},
doi = {10.1007/978-3-030-28346-9\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/FernandesCSP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/GraniczD15,
author = {Adam Granicz and
Lo{\"{\i}}c Denuzi{\`{e}}re},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Porkol{\'{a}}b and
Zolt{\'{a}}n Horv{\'{a}}th},
title = {Functional, Reactive Web Programming in F{\#}},
booktitle = {Central European Functional Programming School - 6th Summer School,
{CEFP} 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10094},
pages = {137--160},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-030-28346-9\_5},
doi = {10.1007/978-3-030-28346-9\_5},
timestamp = {Thu, 15 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/GraniczD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Grelck15,
author = {Clemens Grelck},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Porkol{\'{a}}b and
Zolt{\'{a}}n Horv{\'{a}}th},
title = {Single Assignment {C} {(SAC)} - The Compilation Technology Perspective},
booktitle = {Central European Functional Programming School - 6th Summer School,
{CEFP} 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10094},
pages = {207--282},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-030-28346-9\_7},
doi = {10.1007/978-3-030-28346-9\_7},
timestamp = {Wed, 14 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Grelck15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Grimm15,
author = {Rainer Grimm},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Porkol{\'{a}}b and
Zolt{\'{a}}n Horv{\'{a}}th},
title = {Programming in a Functional Style in {C++}},
booktitle = {Central European Functional Programming School - 6th Summer School,
{CEFP} 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10094},
pages = {111--136},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-030-28346-9\_4},
doi = {10.1007/978-3-030-28346-9\_4},
timestamp = {Wed, 14 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Grimm15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/KoopmanP15,
author = {Pieter W. M. Koopman and
Rinus Plasmeijer},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Porkol{\'{a}}b and
Zolt{\'{a}}n Horv{\'{a}}th},
title = {Type-Safe Functions and Tasks in a Shallow Embedded {DSL} for Microprocessors},
booktitle = {Central European Functional Programming School - 6th Summer School,
{CEFP} 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10094},
pages = {283--340},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-030-28346-9\_8},
doi = {10.1007/978-3-030-28346-9\_8},
timestamp = {Wed, 25 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/KoopmanP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Korecko15,
author = {Stefan Korecko},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Porkol{\'{a}}b and
Zolt{\'{a}}n Horv{\'{a}}th},
title = {Functional Languages in Design of Coloured Petri Nets Models},
booktitle = {Central European Functional Programming School - 6th Summer School,
{CEFP} 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10094},
pages = {161--206},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-030-28346-9\_6},
doi = {10.1007/978-3-030-28346-9\_6},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Korecko15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/OlahNP15,
author = {G{\'{a}}bor Ol{\'{a}}h and
Gergely Nagy and
Zolt{\'{a}}n Porkol{\'{a}}b},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Porkol{\'{a}}b and
Zolt{\'{a}}n Horv{\'{a}}th},
title = {Analyzing Scale-Free Properties in Erlang and Scala},
booktitle = {Central European Functional Programming School - 6th Summer School,
{CEFP} 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10094},
pages = {380--393},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-030-28346-9\_10},
doi = {10.1007/978-3-030-28346-9\_10},
timestamp = {Wed, 14 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/OlahNP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Porkolab15,
author = {Zolt{\'{a}}n Porkol{\'{a}}b},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Porkol{\'{a}}b and
Zolt{\'{a}}n Horv{\'{a}}th},
title = {Immutables in {C++:} Language Foundation for Functional Programming},
booktitle = {Central European Functional Programming School - 6th Summer School,
{CEFP} 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10094},
pages = {75--110},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-030-28346-9\_3},
doi = {10.1007/978-3-030-28346-9\_3},
timestamp = {Wed, 14 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Porkolab15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/StutterheimAP15,
author = {Jurri{\"{e}}n Stutterheim and
Peter Achten and
Rinus Plasmeijer},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Porkol{\'{a}}b and
Zolt{\'{a}}n Horv{\'{a}}th},
title = {Static and Dynamic Visualisations of Monadic Programs},
booktitle = {Central European Functional Programming School - 6th Summer School,
{CEFP} 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10094},
pages = {341--379},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-030-28346-9\_9},
doi = {10.1007/978-3-030-28346-9\_9},
timestamp = {Wed, 14 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/StutterheimAP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cefp/2013,
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Lehel Csat{\'{o}}},
title = {Central European Functional Programming School - 5th Summer School,
{CEFP} 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8606},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15940-9},
doi = {10.1007/978-3-319-15940-9},
isbn = {978-3-319-15939-3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/0001FS13,
author = {Pedro Martins and
Jo{\~{a}}o Paulo Fernandes and
Jo{\~{a}}o Saraiva},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Lehel Csat{\'{o}}},
title = {Zipper-Based Modular and Deforested Computations},
booktitle = {Central European Functional Programming School - 5th Summer School,
{CEFP} 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8606},
pages = {407--427},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-15940-9\_10},
doi = {10.1007/978-3-319-15940-9\_10},
timestamp = {Sun, 02 Oct 2022 15:56:39 +0200},
biburl = {https://dblp.org/rec/conf/cefp/0001FS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/AchtenKP13,
author = {Peter Achten and
Pieter W. M. Koopman and
Rinus Plasmeijer},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Lehel Csat{\'{o}}},
title = {An Introduction to Task Oriented Programming},
booktitle = {Central European Functional Programming School - 5th Summer School,
{CEFP} 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8606},
pages = {187--245},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-15940-9\_5},
doi = {10.1007/978-3-319-15940-9\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/AchtenKP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Brady13,
author = {Edwin C. Brady},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Lehel Csat{\'{o}}},
title = {The Idris Programming Language - Implementing Embedded Domain Specific
Languages with Dependent Types},
booktitle = {Central European Functional Programming School - 5th Summer School,
{CEFP} 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8606},
pages = {115--186},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-15940-9\_4},
doi = {10.1007/978-3-319-15940-9\_4},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Brady13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/CunhaFMPS13,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Jorge Mendes and
Rui Pereira and
Jo{\~{a}}o Saraiva},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Lehel Csat{\'{o}}},
title = {Design and Implementation of Queries for Model-Driven Spreadsheets},
booktitle = {Central European Functional Programming School - 5th Summer School,
{CEFP} 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8606},
pages = {459--478},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-15940-9\_13},
doi = {10.1007/978-3-319-15940-9\_13},
timestamp = {Tue, 08 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/CunhaFMPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/CunhaFMS13,
author = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Jorge Mendes and
Jo{\~{a}}o Saraiva},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Lehel Csat{\'{o}}},
title = {Spreadsheet Engineering},
booktitle = {Central European Functional Programming School - 5th Summer School,
{CEFP} 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8606},
pages = {246--299},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-15940-9\_6},
doi = {10.1007/978-3-319-15940-9\_6},
timestamp = {Tue, 08 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/CunhaFMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/DaneluttoT13,
author = {Marco Danelutto and
Massimo Torquati},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Lehel Csat{\'{o}}},
title = {Structured Parallel Programming with "core" FastFlow},
booktitle = {Central European Functional Programming School - 5th Summer School,
{CEFP} 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8606},
pages = {29--75},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-15940-9\_2},
doi = {10.1007/978-3-319-15940-9\_2},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cefp/DaneluttoT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/DevaiLT13,
author = {Gergely D{\'{e}}vai and
D{\'{a}}niel Lesk{\'{o}} and
M{\'{a}}t{\'{e}} Tejfel},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Lehel Csat{\'{o}}},
title = {The EDSL's Struggle for Their Sources},
booktitle = {Central European Functional Programming School - 5th Summer School,
{CEFP} 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8606},
pages = {300--335},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-15940-9\_7},
doi = {10.1007/978-3-319-15940-9\_7},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/DevaiLT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/DomoszlaiP13,
author = {L{\'{a}}szl{\'{o}} Domoszlai and
Rinus Plasmeijer},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Lehel Csat{\'{o}}},
title = {Tasklets: Client-Side Evaluation for iTask3},
booktitle = {Central European Functional Programming School - 5th Summer School,
{CEFP} 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8606},
pages = {428--445},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-15940-9\_11},
doi = {10.1007/978-3-319-15940-9\_11},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/DomoszlaiP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Gibbons13,
author = {Jeremy Gibbons},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Lehel Csat{\'{o}}},
title = {Functional Programming for Domain-Specific Languages},
booktitle = {Central European Functional Programming School - 5th Summer School,
{CEFP} 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8606},
pages = {1--28},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-15940-9\_1},
doi = {10.1007/978-3-319-15940-9\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Gibbons13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Granicz13,
author = {Adam Granicz},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Lehel Csat{\'{o}}},
title = {Functional Web and Mobile Development in F{\#}},
booktitle = {Central European Functional Programming School - 5th Summer School,
{CEFP} 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8606},
pages = {381--406},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-15940-9\_9},
doi = {10.1007/978-3-319-15940-9\_9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Granicz13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Halupka13,
author = {Ivan Halupka},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Lehel Csat{\'{o}}},
title = {{DSL} for Grammar Refactoring Patterns},
booktitle = {Central European Functional Programming School - 5th Summer School,
{CEFP} 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8606},
pages = {446--458},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-15940-9\_12},
doi = {10.1007/978-3-319-15940-9\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Halupka13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/JuhaszDK13,
author = {David Juhasz and
L{\'{a}}szl{\'{o}} Domoszlai and
Barnabas Kralik},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Lehel Csat{\'{o}}},
title = {Rea: Workflows for Cyber-Physical Systems},
booktitle = {Central European Functional Programming School - 5th Summer School,
{CEFP} 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8606},
pages = {479--506},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-15940-9\_14},
doi = {10.1007/978-3-319-15940-9\_14},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cefp/JuhaszDK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Kuper13,
author = {Jan Kuper},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Lehel Csat{\'{o}}},
title = {Hardware Specification with {C} {\textbackslash}varvec{\(\lambda\)}
aSH},
booktitle = {Central European Functional Programming School - 5th Summer School,
{CEFP} 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8606},
pages = {336--380},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-15940-9\_8},
doi = {10.1007/978-3-319-15940-9\_8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Kuper13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/PorkolabSS13,
author = {Zolt{\'{a}}n Porkol{\'{a}}b and
{\'{A}}bel Sinkovics and
Istv{\'{a}}n Siroki},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Lehel Csat{\'{o}}},
title = {{DSL} in {C++} Template Metaprogram},
booktitle = {Central European Functional Programming School - 5th Summer School,
{CEFP} 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8606},
pages = {76--114},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-15940-9\_3},
doi = {10.1007/978-3-319-15940-9\_3},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/PorkolabSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cefp/2011,
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer},
title = {Central European Functional Programming School - 4th Summer School,
{CEFP} 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7241},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32096-5},
doi = {10.1007/978-3-642-32096-5},
isbn = {978-3-642-32095-8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cefp/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/AxelssonS11,
author = {Emil Axelsson and
Mary Sheeran},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer},
title = {Feldspar: Application and Implementation},
booktitle = {Central European Functional Programming School - 4th Summer School,
{CEFP} 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7241},
pages = {402--439},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32096-5\_8},
doi = {10.1007/978-3-642-32096-5\_8},
timestamp = {Mon, 03 Jan 2022 22:17:59 +0100},
biburl = {https://dblp.org/rec/conf/cefp/AxelssonS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Butterfield11,
author = {Andrew Butterfield},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer},
title = {Reasoning about {I/O} in Functional Programs},
booktitle = {Central European Functional Programming School - 4th Summer School,
{CEFP} 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7241},
pages = {93--141},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32096-5\_3},
doi = {10.1007/978-3-642-32096-5\_3},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Butterfield11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Grelck11,
author = {Clemens Grelck},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer},
title = {Single Assignment {C} {(SAC)} High Productivity Meets High Performance},
booktitle = {Central European Functional Programming School - 4th Summer School,
{CEFP} 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7241},
pages = {207--278},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32096-5\_5},
doi = {10.1007/978-3-642-32096-5\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Grelck11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/JeuringGH11,
author = {Johan Jeuring and
Alex Gerdes and
Bastiaan Heeren},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer},
title = {A Programming Tutor for Haskell},
booktitle = {Central European Functional Programming School - 4th Summer School,
{CEFP} 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7241},
pages = {1--45},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32096-5\_1},
doi = {10.1007/978-3-642-32096-5\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/JeuringGH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Loogen11,
author = {Rita Loogen},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer},
title = {Eden - Parallel Functional Programming with Haskell},
booktitle = {Central European Functional Programming School - 4th Summer School,
{CEFP} 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7241},
pages = {142--206},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32096-5\_4},
doi = {10.1007/978-3-642-32096-5\_4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Loogen11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Marlow11,
author = {Simon Marlow},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer},
title = {Parallel and Concurrent Programming in Haskell},
booktitle = {Central European Functional Programming School - 4th Summer School,
{CEFP} 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7241},
pages = {339--401},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32096-5\_7},
doi = {10.1007/978-3-642-32096-5\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Marlow11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/MichaelsonG11,
author = {Greg Michaelson and
Gudmund Grov},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer},
title = {Reasoning about Multi-process Systems with the Box Calculus},
booktitle = {Central European Functional Programming School - 4th Summer School,
{CEFP} 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7241},
pages = {279--338},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32096-5\_6},
doi = {10.1007/978-3-642-32096-5\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/MichaelsonG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Pali11,
author = {G{\'{a}}bor P{\'{a}}li},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer},
title = {Extending Little Languages into Big Systems},
booktitle = {Central European Functional Programming School - 4th Summer School,
{CEFP} 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7241},
pages = {499--516},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32096-5\_10},
doi = {10.1007/978-3-642-32096-5\_10},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Pali11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/PlasmeijerALM11,
author = {Rinus Plasmeijer and
Peter Achten and
Bas Lijnse and
Steffen Michels},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer},
title = {Defining Multi-user Web Applications with iTasks},
booktitle = {Central European Functional Programming School - 4th Summer School,
{CEFP} 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7241},
pages = {46--92},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32096-5\_2},
doi = {10.1007/978-3-642-32096-5\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/PlasmeijerALM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/SlodicakMN11,
author = {Viliam Slodic{\'{a}}k and
Pavol Macko and
Valerie Novitzk{\'{a}}},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer},
title = {Some New Approaches in Functional Programming Based on Categories},
booktitle = {Central European Functional Programming School - 4th Summer School,
{CEFP} 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7241},
pages = {517--532},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32096-5\_11},
doi = {10.1007/978-3-642-32096-5\_11},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/SlodicakMN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/TothB11,
author = {Melinda T{\'{o}}th and
Istv{\'{a}}n Boz{\'{o}}},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer},
title = {Static Analysis of Complex Software Systems Implemented in Erlang},
booktitle = {Central European Functional Programming School - 4th Summer School,
{CEFP} 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7241},
pages = {440--498},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32096-5\_9},
doi = {10.1007/978-3-642-32096-5\_9},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/TothB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cefp/2009,
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Central European Functional Programming School - Third Summer School,
{CEFP} 2009, Budapest, Hungary, May 21-23, 2009 and Kom{\'{a}}rno,
Slovakia, May 25-30, 2009, Revised Selected Lectures},
series = {Lecture Notes in Computer Science},
volume = {6299},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17685-2},
doi = {10.1007/978-3-642-17685-2},
isbn = {978-3-642-17684-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/CesariniT09,
author = {Francesco Cesarini and
Simon J. Thompson},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Erlang Behaviours: Programming with Process Design Patterns},
booktitle = {Central European Functional Programming School - Third Summer School,
{CEFP} 2009, Budapest, Hungary, May 21-23, 2009 and Kom{\'{a}}rno,
Slovakia, May 25-30, 2009, Revised Selected Lectures},
series = {Lecture Notes in Computer Science},
volume = {6299},
pages = {19--41},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17685-2\_2},
doi = {10.1007/978-3-642-17685-2\_2},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cefp/CesariniT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Devai09,
author = {Gergely D{\'{e}}vai},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Embedding a Proof System in Haskell},
booktitle = {Central European Functional Programming School - Third Summer School,
{CEFP} 2009, Budapest, Hungary, May 21-23, 2009 and Kom{\'{a}}rno,
Slovakia, May 25-30, 2009, Revised Selected Lectures},
series = {Lecture Notes in Computer Science},
volume = {6299},
pages = {354--371},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17685-2\_10},
doi = {10.1007/978-3-642-17685-2\_10},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Devai09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Divianszky09,
author = {P{\'{e}}ter Divi{\'{a}}nszky},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Non-monadic Models of Mutable References},
booktitle = {Central European Functional Programming School - Third Summer School,
{CEFP} 2009, Budapest, Hungary, May 21-23, 2009 and Kom{\'{a}}rno,
Slovakia, May 25-30, 2009, Revised Selected Lectures},
series = {Lecture Notes in Computer Science},
volume = {6299},
pages = {146--182},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17685-2\_5},
doi = {10.1007/978-3-642-17685-2\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Divianszky09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/FluetBFRRSX09,
author = {Matthew Fluet and
Lars Bergstrom and
Nic Ford and
Mike Rainey and
John H. Reppy and
Adam Shaw and
Yingqi Xiao},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Programming in Manticore, a Heterogenous Parallel Functional Language},
booktitle = {Central European Functional Programming School - Third Summer School,
{CEFP} 2009, Budapest, Hungary, May 21-23, 2009 and Kom{\'{a}}rno,
Slovakia, May 25-30, 2009, Revised Selected Lectures},
series = {Lecture Notes in Computer Science},
volume = {6299},
pages = {94--145},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17685-2\_4},
doi = {10.1007/978-3-642-17685-2\_4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cefp/FluetBFRRSX09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Granicz09,
author = {Adam Granicz},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Rapid Prototyping of DSLs with F{\#}},
booktitle = {Central European Functional Programming School - Third Summer School,
{CEFP} 2009, Budapest, Hungary, May 21-23, 2009 and Kom{\'{a}}rno,
Slovakia, May 25-30, 2009, Revised Selected Lectures},
series = {Lecture Notes in Computer Science},
volume = {6299},
pages = {1--18},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17685-2\_1},
doi = {10.1007/978-3-642-17685-2\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Granicz09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Hinze09,
author = {Ralf Hinze},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Reasoning about Codata},
booktitle = {Central European Functional Programming School - Third Summer School,
{CEFP} 2009, Budapest, Hungary, May 21-23, 2009 and Kom{\'{a}}rno,
Slovakia, May 25-30, 2009, Revised Selected Lectures},
series = {Lecture Notes in Computer Science},
volume = {6299},
pages = {42--93},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17685-2\_3},
doi = {10.1007/978-3-642-17685-2\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Hinze09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Hughes09,
author = {John Hughes},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Software Testing with QuickCheck},
booktitle = {Central European Functional Programming School - Third Summer School,
{CEFP} 2009, Budapest, Hungary, May 21-23, 2009 and Kom{\'{a}}rno,
Slovakia, May 25-30, 2009, Revised Selected Lectures},
series = {Lecture Notes in Computer Science},
volume = {6299},
pages = {183--223},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17685-2\_6},
doi = {10.1007/978-3-642-17685-2\_6},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cefp/Hughes09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Kennedy09,
author = {Andrew Kennedy},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Types for Units-of-Measure: Theory and Practice},
booktitle = {Central European Functional Programming School - Third Summer School,
{CEFP} 2009, Budapest, Hungary, May 21-23, 2009 and Kom{\'{a}}rno,
Slovakia, May 25-30, 2009, Revised Selected Lectures},
series = {Lecture Notes in Computer Science},
volume = {6299},
pages = {268--305},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17685-2\_8},
doi = {10.1007/978-3-642-17685-2\_8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Kennedy09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/KoopmanPA09,
author = {Pieter W. M. Koopman and
Rinus Plasmeijer and
Peter Achten},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {An Effective Methodology for Defining Consistent Semantics of Complex
Systems},
booktitle = {Central European Functional Programming School - Third Summer School,
{CEFP} 2009, Budapest, Hungary, May 21-23, 2009 and Kom{\'{a}}rno,
Slovakia, May 25-30, 2009, Revised Selected Lectures},
series = {Lecture Notes in Computer Science},
volume = {6299},
pages = {224--267},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17685-2\_7},
doi = {10.1007/978-3-642-17685-2\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/KoopmanPA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Porkolab09,
author = {Zolt{\'{a}}n Porkol{\'{a}}b},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Functional Programming with {C++} Template Metaprograms},
booktitle = {Central European Functional Programming School - Third Summer School,
{CEFP} 2009, Budapest, Hungary, May 21-23, 2009 and Kom{\'{a}}rno,
Slovakia, May 25-30, 2009, Revised Selected Lectures},
series = {Lecture Notes in Computer Science},
volume = {6299},
pages = {306--353},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17685-2\_9},
doi = {10.1007/978-3-642-17685-2\_9},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Porkolab09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/TothBHLTK09,
author = {Melinda T{\'{o}}th and
Istv{\'{a}}n Boz{\'{o}} and
Zolt{\'{a}}n Horv{\'{a}}th and
L{\'{a}}szl{\'{o}} L{\"{o}}vei and
M{\'{a}}t{\'{e}} Tejfel and
Tam{\'{a}}s Kozsik},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs},
booktitle = {Central European Functional Programming School - Third Summer School,
{CEFP} 2009, Budapest, Hungary, May 21-23, 2009 and Kom{\'{a}}rno,
Slovakia, May 25-30, 2009, Revised Selected Lectures},
series = {Lecture Notes in Computer Science},
volume = {6299},
pages = {372--390},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17685-2\_11},
doi = {10.1007/978-3-642-17685-2\_11},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/TothBHLTK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cefp/2007,
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Anna So{\'{o}}s and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Central European Functional Programming School, Second Summer School,
{CEFP} 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5161},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88059-2},
doi = {10.1007/978-3-540-88059-2},
isbn = {978-3-540-88058-5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cefp/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/CsornyeiD07,
author = {Zolt{\'{a}}n Cs{\"{o}}rnyei and
Gergely D{\'{e}}vai},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Anna So{\'{o}}s and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {An Introduction to the Lambda Calculus},
booktitle = {Central European Functional Programming School, Second Summer School,
{CEFP} 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5161},
pages = {87--111},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-88059-2\_3},
doi = {10.1007/978-3-540-88059-2\_3},
timestamp = {Mon, 03 Jan 2022 22:17:59 +0100},
biburl = {https://dblp.org/rec/conf/cefp/CsornyeiD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/JansenKP07,
author = {Jan Martin Jansen and
Pieter W. M. Koopman and
Rinus Plasmeijer},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Anna So{\'{o}}s and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {From Interpretation to Compilation},
booktitle = {Central European Functional Programming School, Second Summer School,
{CEFP} 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5161},
pages = {286--301},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-88059-2\_8},
doi = {10.1007/978-3-540-88059-2\_8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/JansenKP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Kluge07,
author = {Werner E. Kluge},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Anna So{\'{o}}s and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Abstract lambda-Calculus Machines},
booktitle = {Central European Functional Programming School, Second Summer School,
{CEFP} 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5161},
pages = {112--157},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-88059-2\_4},
doi = {10.1007/978-3-540-88059-2\_4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Kluge07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/KozsikCHKKLNTV07,
author = {Tam{\'{a}}s Kozsik and
Zolt{\'{a}}n Cs{\"{o}}rnyei and
Zolt{\'{a}}n Horv{\'{a}}th and
Roland Kir{\'{a}}ly and
R{\'{o}}bert Kitlei and
L{\'{a}}szl{\'{o}} L{\"{o}}vei and
Tam{\'{a}}s Nagy and
Melinda T{\'{o}}th and
Anik{\'{o}} Nagyn{\'{e}} V{\'{\i}}g},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Anna So{\'{o}}s and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Use Cases for Refactoring in Erlang},
booktitle = {Central European Functional Programming School, Second Summer School,
{CEFP} 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5161},
pages = {250--285},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-88059-2\_7},
doi = {10.1007/978-3-540-88059-2\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cefp/KozsikCHKKLNTV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/MolEP07,
author = {Maarten de Mol and
Marko C. J. D. van Eekelen and
Rinus Plasmeijer},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Anna So{\'{o}}s and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Proving Properties of Lazy Functional Programs with Sparkle},
booktitle = {Central European Functional Programming School, Second Summer School,
{CEFP} 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5161},
pages = {41--86},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-88059-2\_2},
doi = {10.1007/978-3-540-88059-2\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/MolEP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/PlasmeijerAK07,
author = {Rinus Plasmeijer and
Peter Achten and
Pieter W. M. Koopman},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Anna So{\'{o}}s and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {An Introduction to iTasks: Defining Interactive Work Flows for the
Web},
booktitle = {Central European Functional Programming School, Second Summer School,
{CEFP} 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5161},
pages = {1--40},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-88059-2\_1},
doi = {10.1007/978-3-540-88059-2\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/PlasmeijerAK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Pop07,
author = {Horia F. Pop},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Anna So{\'{o}}s and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {A Tutorial on Object-Oriented Functional Programming},
booktitle = {Central European Functional Programming School, Second Summer School,
{CEFP} 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5161},
pages = {228--249},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-88059-2\_6},
doi = {10.1007/978-3-540-88059-2\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Pop07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/SheardL07,
author = {Tim Sheard and
Nathan Linger},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Anna So{\'{o}}s and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Programming in Omega},
booktitle = {Central European Functional Programming School, Second Summer School,
{CEFP} 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5161},
pages = {158--227},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-88059-2\_5},
doi = {10.1007/978-3-540-88059-2\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/SheardL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cefp/2005,
editor = {Zolt{\'{a}}n Horv{\'{a}}th},
title = {Central European Functional Programming School, First Summer School,
{CEFP} 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4164},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11894100},
doi = {10.1007/11894100},
isbn = {3-540-46843-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Hammond05,
author = {Kevin Hammond},
editor = {Zolt{\'{a}}n Horv{\'{a}}th},
title = {Exploiting Purely Functional Programming to Obtain Bounded Resource
Behaviour: The Hume Approach},
booktitle = {Central European Functional Programming School, First Summer School,
{CEFP} 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4164},
pages = {100--134},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11894100\_4},
doi = {10.1007/11894100\_4},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Hammond05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/KoopmanP05,
author = {Pieter W. M. Koopman and
Rinus Plasmeijer},
editor = {Zolt{\'{a}}n Horv{\'{a}}th},
title = {Fully Automatic Testing with Functions as Specifications},
booktitle = {Central European Functional Programming School, First Summer School,
{CEFP} 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4164},
pages = {35--61},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11894100\_2},
doi = {10.1007/11894100\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/KoopmanP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Kozsik05,
author = {Tam{\'{a}}s Kozsik},
editor = {Zolt{\'{a}}n Horv{\'{a}}th},
title = {Tutorial on Subtype Marks},
booktitle = {Central European Functional Programming School, First Summer School,
{CEFP} 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4164},
pages = {191--222},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11894100\_7},
doi = {10.1007/11894100\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Kozsik05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/PlasmeijerA05,
author = {Rinus Plasmeijer and
Peter Achten},
editor = {Zolt{\'{a}}n Horv{\'{a}}th},
title = {Generic Editors for the World Wide Web},
booktitle = {Central European Functional Programming School, First Summer School,
{CEFP} 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4164},
pages = {1--34},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11894100\_1},
doi = {10.1007/11894100\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/PlasmeijerA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Scholz05,
author = {Sven{-}Bodo Scholz},
editor = {Zolt{\'{a}}n Horv{\'{a}}th},
title = {Functional Array Programming in SaC},
booktitle = {Central European Functional Programming School, First Summer School,
{CEFP} 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4164},
pages = {62--99},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11894100\_3},
doi = {10.1007/11894100\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Scholz05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/TejfelHK05,
author = {M{\'{a}}t{\'{e}} Tejfel and
Zolt{\'{a}}n Horv{\'{a}}th and
Tam{\'{a}}s Kozsik},
editor = {Zolt{\'{a}}n Horv{\'{a}}th},
title = {Temporal Properties of Clean Programs Proven in Sparkle-T},
booktitle = {Central European Functional Programming School, First Summer School,
{CEFP} 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4164},
pages = {168--190},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11894100\_6},
doi = {10.1007/11894100\_6},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cefp/TejfelHK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/UustaluV05,
author = {Tarmo Uustalu and
Varmo Vene},
editor = {Zolt{\'{a}}n Horv{\'{a}}th},
title = {The Essence of Dataflow Programming},
booktitle = {Central European Functional Programming School, First Summer School,
{CEFP} 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4164},
pages = {135--167},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11894100\_5},
doi = {10.1007/11894100\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/UustaluV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/ZsokHH05,
author = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Herny{\'{a}}k and
Zolt{\'{a}}n Horv{\'{a}}th},
editor = {Zolt{\'{a}}n Horv{\'{a}}th},
title = {Designing Distributed Computational Skeletons in D-Clean and D-Box},
booktitle = {Central European Functional Programming School, First Summer School,
{CEFP} 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4164},
pages = {223--256},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11894100\_8},
doi = {10.1007/11894100\_8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cefp/ZsokHH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2025-01-07 17:32 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
