HM(X) type inference is CLP(X) solving.

Martin Sulzmann Peter J. Stuckey HM(X) type inference is CLP(X) solving. 251-283 2008 18 J. Funct. Program. 2 http://dx.doi.org/10.1017/S0956796807006569 db/journals/jfp/jfp18.html#SulzmannS08