5 ms·
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 p
by fadmmatt 17y 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.
- baguasquirrel 17y agohttp://scholar.google.com/scholar?q=A+Theory+of+Type+Polymorphism+in+Programming&hl=en&btnG=Search&as_sdt=2001&as_sdtp=on http://scholar.google.com/scholar?q=A+Theory+of+Type+Polymor... First link.