everything.study
COMPSCI 3MI3

Principles Of Programming Languages

Undergraduate

Fall 2026 · Prncpl: Programming Languages · C01

Readings

  • Types And Programming Languages
    Pierce · Required
    ISBN 9780262162098
Fall 2026 · C01

Topics

  • Course Overview & Administration
  • History of Programming Languages, What is Abstraction?, Programming Paradigms
  • Functional Programming: Syntax (Untyped arithmetic)
  • Introducing Semantics (Untyped arithmetic)
  • Evaluation (Untyped arithmetic)
  • Untyped Lambda Calculus
  • Nameless Terms
  • Typed Arithmetic
  • Simply-Typed Lambda Calculus
  • Further Topics

Readings

  • Types and Programming Languages
    Required
  • Programming Languages: Principles and Practice (Recommended)
    Kenneth Louden and Kenneth Lambert · 3rd Edition · Recommended / optional
    ISBN 0357703774; 9780357703779
  • McMaster Library ↗
Fall 2026

Topics

  • Reasoning about programming languages
  • Domain-specific languages
  • Program analyses
  • Security and efficiency
Fall 2025 · Prncpl: Programming Languages · C01

Readings

  • Types And Programming Languages
    Pierce · Required
    ISBN 9780262162098
Sources