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) |
From: | weidmann@papaya.logica.com (Nicolas Weidmann) |
Newsgroups: | comp.compilers |
Date: | 12 Oct 1996 22:12:56 -0400 |
Organization: | Logica UK Ltd. |
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:
Have a look at Mark Leone's home page:
http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/mleone-home.html
under: Resources for programming languages research. It gives links to lots
of people and articles.
Nicolas
--
Return to the
comp.compilers page.
Search the
comp.compilers archives again.