


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

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














