Any chance you could post some info about the paper? I've been itching to learn ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		j_baker on March 22, 2010 \| parent \| context \| favorite \| on: RIP: Robin Milner Any chance you could post some info about the paper? I've been itching to learn more about how type inferencing (especially polymorphic type inferencing) works. EDIT: I don't know if it's the paper you were referring to, but I did find this: http://groups.csail.mit.edu/pag/6.883/readings/p207-damas.pd...

fadmmatt on March 23, 2010 [–]

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 on March 23, 2010 | [–]

http://scholar.google.com/scholar?q=A+Theory+of+Type+Polymor...

First link.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact