A type-safe embedding of XDuce into ML - Sulzmann, M. (2013)
10.1016/j.entcs.2005.11.047