| 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 soon... Regards, Filipe 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. |
|
![[logo]](/logo.png){kind=logo}