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.
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.