Journal article

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

Martin Sulzmann, Peter J Stuckey

Journal of Functional Programming | CAMBRIDGE UNIV PRESS | Published : 2008