compilers

An EDSL for KDB/Q

Slides for the Haskell Exchange 2017 talk.

Structural Typing for Structured Products

Slides and some example code for the Haskell Exchange 2014 talk.

The Essence of Compilation

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

under
                construction