Type System Theory 26th, 2007 Just enough type system theory to get by in real-world discussions - via Reg Braithwaite.