Type theory, here I come...

For Christmas my parents got me a copy of Types and Programming Languages. w00t! I started reading it today on the subway coming home from work. Unfortunately I’m kind of anal about reading prefaces, introductions and so on, so I haven’t gotten to any actual substance yet. Tomorrow probably. Now I can finally put into a coherent, rigorous framework all the little bits of knowledge about type systems I’ve picked up here and there… =)

Also, last call for submissions to the Carnival of Mathematics! I’ll be posting it at midnight Thursday/Friday (or possibly early Friday morning), so it would be great to get submissions by 2pm tomorrow.