Slides for the Haskell Exchange 2017 talk.
Multi-dimensional aggregation and grouping using nested datacubes in Haskell.
An idea for a useful indexed monad: the map comprehension.
A toy compiler and virtual-machine in less than fifty lines of haskell.
Generic recursion schemes for GADTs using fixed points of higher-order functors.
A new blog on applied functional programming.