main is usually a function

New slides I've posted PDFs of slides from some talks I gave a while ago. First-Class Concurrency in Haskell covers topics in concu...

The first serious projects I coded in Haskell were compilers, code analyzers, and the like. I think it's a domain that really plays to t...

Debugger features such as breakpoints go well beyond the normal ways in which programs interact. How can one process force another process ...

This article describes a fixpoint combinator for Haskell types, with some justification of why such a thing would be useful. It's meant ...