[plt-scheme] type of language

On Thu, Dec 10, 2009 at 12:27 PM, Shriram Krishnamurthi <sk at cs.brown.edu>wrote:

>
> I like to think that that is what I have tried to do in the types
> section of PLAI (inspired heavily by Matthias's thinking on this
> topic).  And I continue to revise and improve it along those lines.
> And I put it out for free on the Web to make it more easily accessible
> to the Internet masses.  So I would certainly appreciate feedback on
> ways in which PLAI fails.
>
I will do that and get back to you.  Thanks Shriram.

yc
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20091210/59c938d9/attachment.html>