Briefly, what is the difference between Damas-Milner and Hindley-Milner
typing?  Are they different inferencing algorithms, or is it something like
the notion of principal types is due to Damas and Milner whereas the
inferencing algorithm itself is due to Hindley and Milner?

It seems to me that I hear "Damas-Milner" mentioned more often in ML circles,
but "Hindley-Milner" more often with regard to Haskell...

Frank Christoph                 Next Solution Co.      Tel: 0424-98-1811
[EMAIL PROTECTED]                             Fax: 0424-98-1500

Reply via email to