Re: Type Inference Systems?

weidmann@papaya.logica.com (Nicolas Weidmann)
12 Oct 1996 22:12:56 -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: 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


--

Post a followup to this message

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