A commentary on 24 days of GHC extensions, part 3 (2014)

Simpler, Easier! How to write a simple dependent type checker

Simpler, Easier (2007)

BASIC as a Haskell DSL (2009)