Posts in teaching
- 05 Oct 2010 Foundations of Software -- Fall 2010
Foundations of Software – Fall 2010
I’m teaching Foundations of Software instead of Martin Odersky in the Fall semester of 2010. The textbook for the course is Benjamin C. Pierce’s excellent Types and Programming Languages.