Re: Appropriate methods for argument checki

Robert Harper <rwh@cs.cmu.edu>
9 Aug 1996 14:06:21 -0400

          From comp.compilers
Related articles
Re: Appropriate methods for argument checking jgllgher@maths.tcd.ie (Dara Gallagher) (1996-07-31)
Re: Appropriate methods for argument checki chase@centerline.com (1996-08-05)
Re: Appropriate methods for argument checki rwh@cs.cmu.edu (Robert Harper) (1996-08-09)
| List of all articles for this month |
From: Robert Harper <rwh@cs.cmu.edu>
Newsgroups: comp.compilers
Date: 9 Aug 1996 14:06:21 -0400
Organization: Carnegie Mellon University
References: 96-07-211 96-08-019
Keywords: types

I am sympathetic to David Chase's plea for an accessible introduction to
type theory for language design and implementation. There are in fact
several good books and a few survey articles on type theory, but most
aren't aimed at compiler writers. Although not intended as a tutorial,
let me mention Greg Morrisett's Ph.D. dissertation "Compiling with
Types" as an excellent place to start. It is available on the web at
URL http://cs.cornell.edu/Info/People/jgm/.


Bob Harper
--

Post a followup to this message

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