Re: Type Inference Systems?

dimock@deas.harvard.edu (Allyn Dimock)
16 Oct 1996 17:32:34 -0400

          From comp.compilers
Related articles
Type Inference Systems? sullivan@indra.com (1996-10-10)
Re: Type Inference Systems? salomon@silver.cs.umanitoba.ca (1996-10-12)
Re: Type Inference Systems? dinkla@cs.uni-bonn.de (Joern Dinkla) (1996-10-12)
Re: Type Inference Systems? weidmann@papaya.logica.com (1996-10-12)
Re: Type Inference Systems? dimock@deas.harvard.edu (1996-10-16)
Re: Type Inference Systems? bjm@dcs.ed.ac.uk (Bruce McAdam) (1996-10-16)
| List of all articles for this month |
From: dimock@deas.harvard.edu (Allyn Dimock)
Newsgroups: comp.compilers
Date: 16 Oct 1996 17:32:34 -0400
Organization: Aiken Computation Lab, Harvard University
References: 96-10-032
Keywords: types

sullivan@indra.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.


-- Allyn
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.