|Type Inference Systems? firstname.lastname@example.org (1996-10-10)|
|Re: Type Inference Systems? email@example.com (1996-10-12)|
|Re: Type Inference Systems? firstname.lastname@example.org (Joern Dinkla) (1996-10-12)|
|Re: Type Inference Systems? email@example.com (1996-10-12)|
|Re: Type Inference Systems? firstname.lastname@example.org (1996-10-16)|
|Re: Type Inference Systems? email@example.com (Bruce McAdam) (1996-10-16)|
|From:||firstname.lastname@example.org (Allyn Dimock)|
|Date:||16 Oct 1996 17:32:34 -0400|
|Organization:||Aiken Computation Lab, Harvard University|
email@example.com (Steve Sullivan) writes:
|> 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.
May I recommend "Three Approaches to Type Structure" by John Reynolds
which appeared (I believe) in TAPSOFT '85. It is an excellent
introduction and requires a minimal knowledge of \lambda notation and
of deductuve systems which you can probably pick up as you read it.
Return to the
Search the comp.compilers archives again.