Danvy, O., and M. Rhiger. “A Simple Take on Typed Abstract Syntax in Haskell-Like Languages”. BRICS Report Series, vol. 7, no. 34, June 2000, doi:10.7146/brics.v7i34.20169.