Efficient type inference using ranked type variables.

George Kuan David MacQueen Efficient type inference using ranked type variables. 3-14 2007 conf/ml/2007 ML http://doi.acm.org/10.1145/1292535.1292538 db/conf/ml/ml2007.html#KuanM07