16 Oct 1996 17:32:34 -0400

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: | 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.