Prerequisite Topics

• Trees, algorithms and recursion
• Functional and object-oriented programming and programming
  languages
• Introduction to basic concepts of programming languages, such as
  scoping, typing, abstraction and exceptions
• Basic set theory, and reading and writing mathematical proofs

Goals

• In-depth study of programming paradigms, including one or more of
  logic, functional, object-oriented and concurrent programming, and
  programming languages supporting the selected paradigms
• In-depth study of programming language concepts, including
  typing, scoping, abstraction and exceptions
• Introduction to programming language semantics
• Study of programming language design
• Study of development environments