Type Inference Systems?

sullivan@indra.com (Steve Sullivan)
10 Oct 1996 11:04:42 -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: sullivan@indra.com (Steve Sullivan)
Newsgroups: comp.compilers
Date: 10 Oct 1996 11:04:42 -0400
Organization: Mathcom, Inc.
Keywords: types, question

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.
          I have Milner's 1978 paper and a few others ...
          unfortunately they all are pretty theoretical.

Many thanks for your help -

Steve Sullivan

Post a followup to this message

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