Types and Programming Languages Chapter 8 Typed Arithmetic Expressions

Thanks

Thanks to Leo and Geckoboard for hosting, to all those who contributed snacks and to Abeer for organising the meeting (and last week's Computation Pub).