Is there any book which explains type systems in programming languages? If it has mathematical account of type systems,that is much preferred.
+5
A:
Types and Programming Languages, by Pierce. I can't speak to the substance of the text, since I'm not an expert in the field, but I found it a very enjoyable (though quite heavy) read. The only big disappointment for me was that it makes absolutely no mention of the relational model, which introduces relation and tuple type families that, despite being among the most important data structuring concepts in our field, are not supported by any mainstream language or type system.
Marcelo Cantos
2010-10-31 03:30:06
+1 - this is the best text I've found on this topic, by a long way.
Stephen C
2010-10-31 03:48:42
Looks like Benjamin c pierce have good books on the type system,thanks for the suggestion and +1.I am expecting more answers to come,if any !!
Srinivas Reddy Thatiparthy
2010-10-31 04:15:16