Functional pearl: Nested Datacubes

Multi-dimensional aggregation and grouping using nested datacubes in Haskell.

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.