|
|
|
|
|
|
by fadmmatt
5928 days ago
|
|
|
Milner, Robin (1978), "A Theory of Type Polymorphism in Programming", Jcss 17: 348–375 I don't know if there's a free copy online anywhere. The Damas-Milner paper is the sequel; it presents an alternate algorithm for type inference. Benjamin Pierce's "Orange Book" is one of the best references now. |
|
|
First link.