![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
CEFP 2011: Budapest, Hungary
- 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 - Johan Jeuring, Alex Gerdes, Bastiaan Heeren:
A Programming Tutor for Haskell. 1-45 - Rinus Plasmeijer, Peter Achten, Bas Lijnse, Steffen Michels:
Defining Multi-user Web Applications with iTasks. 46-92 - Andrew Butterfield
:
Reasoning about I/O in Functional Programs. 93-141 - Rita Loogen:
Eden - Parallel Functional Programming with Haskell. 142-206 - Clemens Grelck:
Single Assignment C (SAC) High Productivity Meets High Performance. 207-278 - Greg Michaelson, Gudmund Grov:
Reasoning about Multi-process Systems with the Box Calculus. 279-338 - Simon Marlow:
Parallel and Concurrent Programming in Haskell. 339-401 - Emil Axelsson, Mary Sheeran:
Feldspar: Application and Implementation. 402-439 - Melinda Tóth
, István Bozó
:
Static Analysis of Complex Software Systems Implemented in Erlang. 440-498 - Gábor Páli:
Extending Little Languages into Big Systems. 499-516 - Viliam Slodicák, Pavol Macko, Valerie Novitzká:
Some New Approaches in Functional Programming Based on Categories. 517-532
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.