7/27/21 If you can see this, your browser does not understand IFRAME. [You can adjust the column widths in the proof to see what you are interested in.] Book traversal links for Hindley-Milner III Solving the Constraints II ‹ Hindley-Milner III — Solving the Constraints Up Brief Bibliography on Algorithms and Code ›