bartlett@DECWRL.DEC.COM (Joel Bartlett) (10/19/87)
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
wand@CORWIN.CCS.NORTHEASTERN.EDU (10/20/87)
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