Didier Le Botlan, Didier Rémy. ML:::F:::: raising ML to the power of system F. In Colin Runciman, Olin Shivers, editors, Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003. pages 27-38, ACM, 2003. [doi]
Abstract is missing.