Type inference in Scheme

[wand%corwin.ccs.northeastern.edu@RELAY.CS.NET]

   From: Joel Bartlett <bartlett@decwrl.dec.com>
   Date: 19 Oct 1987 1341-PDT (Monday)
   To: scheme@mc.lcs.mit.edu
   Cc: bartlett@decwrl.dec.com
   Subject: Type inference in Scheme

   I am interested in using type inference to get faster code out of my
   Scheme compiler.  I'd greatly appreciate pointers to any existing work in
   that area.  I'll summarize and send out the replies (if any) that I get.

   thanks,

   Joel

You should look at my SPS (Semantic Prototyping System) which includes, among
other things, an ML-style type inference system for a pretty good chunk of
Scheme.  This is available for ftp at Indiana (write cth@iucs.cs.indiana.edu
for details), else I can send you a tape.  A hardcopy writeup is in the
Proceedings of the 1984 SIGPLAN Compiler Construction Conference.  If you send
me your address, I'll send you a copy.


Mitchell Wand
College of Computer Science
Northeastern University
360 Huntington Avenue #161CN
Boston, MA 02115

CSNet:  wand@corwin.ccs.northeastern.edu