CSE 505 - Formal Semantics

Readings:

• Benjamim Pierce, preprints of chapters from a new book "Types and Programming Languages" (distributed in class). Skim Chapter 3 for information on notation (read Section 3.5). Read Chapter 5 for October 26.
• Read Chapters 8 and 9 of the Pierce book by November 5.
• Read Luca Cardelli's Basic Polymorphic Typechecking by November 26.
• Read Chapter 19 of Pierce's book (distributed in class) by December 3.

Lecture Notes:

• Untyped Lambda Calculus
• Simply-Typed Lambda Calculus
• Type Soundness
• Parametric Polymorphism
• Subtyping

Other Materials:

• Simply-Typed Lambda Calculus Handout
• Formal Semantics Review Problem Sheet
  • Answers
• Polymorphic Type Inference Review Problem Sheet
  • Answers