[plt-scheme] Re: plt-scheme type of language

From: Filipe Cabecinhas (filcab at gmail.com)
Date: Sat Dec 12 16:32:09 EST 2009

I have it but, unfortunately, haven't read it yet... I hope to read it 



On 12/12/09 11:27, Shriram Krishnamurthi wrote:
>> Or is having a type system different from having types? That is... is a
>> "type system", as is usually refered to, a well-defined "thing"?
> I'll make a wild guess here: you haven't read PLAI, or any other book
> that tries to pin down this sort of thing.
> Right?
> Shriram

Posted on the users mailing list.