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.