Video presentations

Collected videos of Haskell tutorials and conference presentations, sorted by topic.

Introductions to FP and Haskell

A Taste of Haskell

Part 1 (.mov)

Part 2 (.mov)

Slides

Simon Peyton-Jones, OSCON, July 2007.

Haskell is the world's leading purely functional programming language that offers a radical and elegant attack on the whole business of writing programs. In the last two or three years there has been an explosion of interest in Haskell, and it is now being used for a bewildering variety of applications. In this tutorial, I will try to show you why programming in Haskell is such fun, and how it makes you think about programming in a new way.

Programming language nirvana

Simon Peyton-Jones, Eric Meijer, MSR, July 2007.

Faith, Evolution, and Programming Languages

Phil Wadler, April 2007.

Advanced topics

Parametric Polymorphism and the Girard-Reynolds Isomorphism

Phil Gossett, April 2007.

Generic Programming in Haskell.

Johan Jeuring, Sep 2007.

Category theoretic monads

The Catsters, Sep 2007.

Concurrency and parallelism

Transactional Memory for Concurrent Programming

Simon Peyton-Jones, OSCON, July 2007.

Programming in the Age of Concurrency: Software Transactional Memory

Simon Peyton-Jones and Tim Harris, September 2006.

Nested Data Parallelism in Haskell

Simon Peyton-Jones, London-HUG, May 2007.

Slides (pdf)

The ICFP contest

2006 ICFP contest results

ICFP, 2006

Livecoding Haskell

Haskell music

Yaxu, 2006.

Hacking Haskell music

More of Yaxu live coding music and Haskell, 2006.

ASCII Rave in Haskell

Yaxu, using words to control the articulation of a physical modelling synthesiser based on the elegant Karplus-Strong algorithm

GHC Hackathon presentations

GHC commentary

Simon Peyton Jones and Simon Marlow, 2006.

Haskell applications

GADTs for darcs

David Roundy, FOSDEM, 2006

Functional Image Synthesis

Conal Elliott, talk at University of Washington, November 2000