Older teaching

• Fall 2019:
  • CISC 204: Logic for Computing Science (most material available from onQ)
  • CISC 360: Programming Paradigms (most material available from onQ)
• Winter 2019 (Jan.-Apr. 2019):
  • CISC 865: Semantics of Programming Languages
• Fall 2018:
  • CISC 260: Programming Paradigms (most material available from onQ)
  • CISC 327 / CMPE 327: Software Quality Assurance (most material available at this link)
  • Possible CISC 499 projects
• Winter 2018 (Jan.-Apr. 2018):
  • CISC 865: Semantics of Programming Languages
• Fall 2017:
  • CISC 327 / CMPE 327: Software Quality Assurance
• Fall ("Winter 1") 2016 (UBC): CPSC 311: Definition of Programming Languages
• Fall ("Winter 1") 2015 (UBC): CPSC 311: Definition of Programming Languages
• Winter 2010 (McGill): COMP 302: Programming Languages and Paradigms
  • Lecture notes on bidirectional typechecking