Programming Languages

February–June 2020

Programming Languages

This series of notes (in Chinese) roughly follows the textbook Types and Programming Languages by Benjamin Pierce and a course by Kenny Zhu.

  1. Inductive definition and proof
  2. \(\lambda\) calculus
  3. Typed \(\lambda\) calculus
  4. Type system extended
  5. Storage and pointers
  6. Type reconstruction
  7. Subtype relation
Return↩︎