(1)
Danvy, O.; Rhiger, M. A Simple Take on Typed Abstract Syntax in Haskell-Like Languages. BRICS 2000, 7.