lambda icon indicating copy to clipboard operation
lambda copied to clipboard

Published 20 hours ago • verified publisher icon 71104

Hindley-Milner type system

Open 71104 opened this issue 9 years ago • 3 comments

This is also one of the fundamental goals of the project.

71104 avatar Jul 09 '15 12:07 71104

Link to the original paper: http://web.cs.wpi.edu/~cs4536/c12/milner-damas_principal_types.pdf

71104 avatar May 03 '16 12:05 71104

Another useful paper: https://web.archive.org/web/20120324105848/http://www.cs.ucla.edu/~jeff/docs/hmproof.pdf

71104 avatar May 03 '16 12:05 71104

b112d30df154e175ebfcc1326fbbd31746f6d2f8 provides improvements.

71104 avatar Jun 19 '16 14:06 71104