The is a graduate level course
that covers the foundations of programming languages. You will be
introduced into advanced concepts used in a modern programming
language, and will also see applications built from it.
The course will also cover some fundamentals of type
theory, together with formal reasoning that may be applied
to programs. Though the course has a foundation focus, we
shall also emphasize the importance of practical applications
that are enabled by programming languages.
Mid-term test is on 6:30pm 2March (during lecture). The test is open-book and 1.5hr.