George Kuan, David MacQueen. Efficient type inference using ranked type variables. In Claudio Russo, Derek Dreyer, editors, Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007. pages 3-14, ACM, 2007. [doi]
Abstract is missing.