O. Danvy and M. Rhiger, “A Simple Take on Typed Abstract Syntax in Haskell-like Languages”, BRICS, vol. 7, no. 34, Jun. 2000.