The course is heavily based on the textbook by Robert Harper . Key Course Topics
, which involves proving that "well-typed programs do not go wrong" through theorems like Preservation Structural Induction: Most properties in the course are proven using structural induction 15312 foundations of programming languages
: A mix of programming assignments (often every two weeks) and written assignments. The course is heavily based on the textbook by Robert Harper