|Type Inference Systems? email@example.com (1996-10-10)|
|Re: Type Inference Systems? firstname.lastname@example.org (1996-10-12)|
|Re: Type Inference Systems? email@example.com (Joern Dinkla) (1996-10-12)|
|Re: Type Inference Systems? firstname.lastname@example.org (1996-10-12)|
|Re: Type Inference Systems? email@example.com (1996-10-16)|
|Re: Type Inference Systems? firstname.lastname@example.org (Bruce McAdam) (1996-10-16)|
|From:||email@example.com (Daniel J. Salomon)|
|Date:||12 Oct 1996 22:10:08 -0400|
|Organization:||Computer Science, University of Manitoba, Winnipeg, Canada|
Steve Sullivan <firstname.lastname@example.org> wrote:
|> I'm interested in type inference systems, like Robin Milner's
|> system for ML. Can you recommend:
|> - any intro books or articles on type theory
|> - any references on type inference that (hopefully)
|> don't require a huge background in type theory.
Chapter 6 of the red-dragon book, "Compilers: Principles, Techniques
and Tools," by Aho, Sethi, and Ullman, covers type checking, and ends
off with a couple of sections on type inference from an implementors
point of view. The examples are drawn almost exclusively from ML.
I believe that all the background that you need to read that chapter,
such as attribute grammars, is covered elsewhere in the same book.
Nevertheless the chapter is not that easy to read. You may have to
read the relevant sections from front to back a couple of times to
fully understand the message (I had to anyway.)
Daniel J. Salomon -- salomon@cs.UManitoba.CA
Dept. of Computer Science / University of Manitoba
Winnipeg, Manitoba, Canada R3T 2N2 / (204) 474-8687
Return to the
Search the comp.compilers archives again.