Type inference in Scheme

[bartlett@decwrl.dec.com (Joel Bartlett)]

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