04:47 pm, 5 Apr 04
type inference
I decided it was time for me to learn about type inference, and I sat down with the algorithms book I got last quarter only to discover that it had no mention of unification. But at least one paper on unification I found from Google mentions the compilers book I have.
To save you hours of looking: these notes are quite good, building up from the fundamentals to the details in only 20 pages and even discusses the Curry-Howard isomorphism in more depth than I've seen so far in any PL stuff. And it includes exercises and answers!
Everything refers back to the Damas-Milner algorithm published in a 1982 paper that looks like it was written on a typewriter. Heh.
To save you hours of looking: these notes are quite good, building up from the fundamentals to the details in only 20 pages and even discusses the Curry-Howard isomorphism in more depth than I've seen so far in any PL stuff. And it includes exercises and answers!
Everything refers back to the Damas-Milner algorithm published in a 1982 paper that looks like it was written on a typewriter. Heh.
we will now refer to this as...
...your typewriter inference.