I just had my last class at CMU. I'm really glad I got a chance to take 15-312 before I graduated. In my last class we saw how the principle of the excluded middle can weaken your type system (Professor Harper definitely prefers constructive logic to classical). It was a fitting last lecture, I think. It was also rather fitting in that I was ( Read more... )