Turtle: A Constraint Imperative Programming Language. - Martin Grabmüller; Petra Hofstedt (SGAI Conf., 2003)

A model of functional programming with dynamic compilation and optimization. - Martin Grabmüller (Trends in Functional Programming, 2006)

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

Dynamic compilation for functional programs. - Martin Grabmüller (Sand + Soda Publ., 2009)