Template metaprogramming for Haskell. Pages 1–16 of: Haskell workshop (2002)

by Tim Sheard, Peyton Jones, Simon