A type-safe embedding of XDuce into ML.Technical report, The (2005)

by http pauillac inria frocaml M Sulzmann, K Z M Lu