From: Shriram Krishnamurthi
Subject: Re: Status of INFER project?
Date: Wed, 07 Jun 1995 00:00:00 +0000
Message-ID: <3r4dm9$945@larry.rice.edu>

······@bedlam.rahul.net (Bill Hogan) writes:

>   Can anyone tell me anything about the current status of the INFER
> project?
>
>   The www page says that alpha-release will be "this summer".

If you're looking for a Hindley-Milner type discipline on a Lisp-like
language (Scheme, in this case), you might consider Andrew Wright's
soft typer, Soft Scheme, which has been in existence for a while now.
It handles the complete language, including continuations and
side-effects.  Go to

    http://www.cs.rice.edu/CS/PLT/

and follow the link to Andrew's home page.

(If you need an FTP address, drop me a message.)

--
Shriram Krishnamurthi                      ·······@research.nj.nec.com
                                           ·······@cs.rice.edu