![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
6. Advanced Functional Programming School 2008: Heijen, The Netherlands
- Pieter W. M. Koopman, Rinus Plasmeijer, S. Doaitse Swierstra:
Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures. Lecture Notes in Computer Science 5832, Springer 2009, ISBN 978-3-642-04651-3 - Umut A. Acar, Ruy Ley-Wild:
Self-adjusting Computation with Delta ML. 1-38 - Richard S. Bird:
Spider Spinning for Dummies. 39-65 - Olivier Danvy:
From Reduction-Based to Reduction-Free Normalization. 66-164 - Johan Jeuring, Sean Leather
, José Pedro Magalhães, Alexey Rodriguez Yakushev:
Libraries for Generic Programming in Haskell. 165-229 - Ulf Norell:
Dependently Typed Programming in Agda. 230-266 - Simon L. Peyton Jones, Satnam Singh:
A Tutorial on Parallel and Concurrent Programming in Haskell. 267-305 - Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort:
An iTask Case Study: A Conference Management System. 306-329
![](https://dblp1.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.