[plt-scheme] type of language

From: YC (yinso.chen at gmail.com)
Date: Thu Dec 10 16:04:18 EST 2009

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.

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

Posted on the users mailing list.