CSC 530
Lectures

• Week 1 -- introduction to the course; introduction to lisp
  
  
• Week 2 -- discussion of assignment 1; topics from the lisp primer; topics from part 1 of the readings
  
  
• Week 3 -- a brief review of lambda calculus; introduction to programming language type systems
  
  
• Week 3, Part 2 -- discussion of assignments 1 and 2; more on type theory
  
  
• Week 4 -- introduction to the formal semantics of programming languages; introduction to attribute grammars
  
  
• Week 5 -- more on formal semantics with attribute grammars
  
  
• Week 6 (pdf version) -- discussion of assignment 3, questions 1 and 2; introduction to denotational semantics
  
  
• Week 7 (pdf version) -- more on tennent-style denotational semantics
  
  
• Week 8 -- wrap up of denotational semantics; introduction to axiomatic semantics
  
  

  ---

  
  
  
• Slides -- lecture slides as presented in class.