Harpy: run-time code generation in haskell. - Martin Grabmüller; Dirk Kleeblatt (Haskell, 2007)

Checking Dependent Types Using Compiled Code. - Dirk Kleeblatt (IFL, 2007)

Deriving a Strong Normalizing STG Machine. - Dirk Kleeblatt (GI Jahrestagung, 2009)

On a Strongly Normalizing STG Machine with an Application to Dependent Type Checking. - Dirk Kleeblatt (2011)