![](/img/cover-not-exists.png)
HM(X) type inference is CLP(X) solving
SULZMANN, MARTIN, STUCKEY, PETER J.Volume:
18
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/s0956796807006569
Date:
March, 2008
File:
PDF, 404 KB
english, 2008