Didier Rémy, Boris Yakobowski. From ML to ML:::F:::: graphic type constraints with efficient type inference. In James Hook, Peter Thiemann, editors, Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008. pages 63-74, ACM, 2008. [doi]
Abstract is missing.