Structural Typing for Structured Products

Slides and some example code for the Haskell Exchange talk.

Map Comprehensions

An idea for a useful indexed monad: the map comprehension.

The Essence of Compilation

A toy compiler and virtual-machine in less than fifty lines of haskell.

Fixing GADTs

Generic recursion schemes for GADTs using fixed points of higher-order functors.

First post

A new blog on applied functional programming.