|
Course:Formal Semantics of Programming Languages (CSC-535-710) Quarter:Autumn 10/11 Time: ::: - ::: Location: Distance Learning |
James Riely PhD Associate Professor [email protected] Instructor homepage
|
What are the major strengths and weaknesses of the instructor?
What aspects of this course were most beneficial to you?
What do you suggest to improve this course?
1. It was cool using a proof assistant to learn this material because you could work until you got it and then you knew you got it... or didn't. A little more theory would have been good though.