| From: Shriram Krishnamurthi (sk at cs.brown.edu) Date: Sat Dec 12 06:27:24 EST 2009 |
|
> 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}