![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
5. Advanced Functional Programming School 2004: Tartu, Estonia
- Varmo Vene, Tarmo Uustalu
:
Advanced Functional Programming, 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures. Lecture Notes in Computer Science 3622, Springer 2005, ISBN 3-540-28540-7 - Atze Dijkstra, S. Doaitse Swierstra:
Typing Haskell with an Attribute Grammar. 1-72 - John Hughes:
Programming with Arrows. 73-129 - Conor McBride:
Epigram: Practical Programming with Dependent Types. 130-170 - Alberto Pardo:
Combining Datatypes and Effects. 171-209 - Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden:
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications. 210-244 - Rinus Plasmeijer, Arjen van Weelden:
A Functional Shell That Operates on Typed and Compiled Applications. 245-272 - Bernard J. Pope
:
Declarative Debugging with Buddha. 273-308 - Peter Thiemann:
Server-Side Web Programming in WASH. 309-330 - Simon J. Thompson:
Refactoring Functional Programs. 331-357
![](https://dblp.uni-trier.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.