|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:||Bruce McAdam <email@example.com>|
|Date:||16 Oct 1996 17:54:05 -0400|
|Organization:||Department of Computer Science, Edinburgh University|
Steve Sullivan wrote:
> I'm interested in type inference systems, like Robin Milner's
> system for ML.
> - any references on type inference that (hopefully)
> don't require a huge background in type theory.
> I have Milner's 1978 paper and a few others ...
> unfortunately they all are pretty theoretical.
A good introductory one is:
Damas and Milner. Principal type-schemes for functional programs.
9th Annual Symopsium on Principles of Programming Languages, 1982
it covers the distinction between types and schemes and gives
the algorithm W.
The best place to see inside an inference system is
the ML-Kit (an ML interpreter written in ML). You can
get copies from
Bruce J. McAdam
Computer Science Undergraduate
The University of Edinburgh
Return to the
Search the comp.compilers archives again.