Journal article

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

Martin Sulzmann, Peter J Stuckey

JOURNAL OF FUNCTIONAL PROGRAMMING | CAMBRIDGE UNIV PRESS | Published : 2008