Unit name | Types and Lambda Calculus |
---|---|
Unit code | COMS30009 |
Credit points | 10 |
Level of study | H/6 |
Teaching block(s) |
Teaching Block 1 (weeks 1 - 12) |
Unit director | Dr. Steven Ramsay |
Open unit status | Not open |
Pre-requisites |
COMS10003 Mathematical Methods for Computer Scientists or MATH10004 Foundations & Proof COMS11700 Theory of Computation COMS10006 Functional Programming COMS22201 Language Engineering |
Co-requisites |
None |
School/department | Department of Computer Science |
Faculty | Faculty of Engineering |
Type systems are one of the most basic tools at the disposal of programmers in their daily work, and the underlying theory is one of the richest in computer science. This unit provides an introduction to this theory by studying its formalisation in the lambda calculus.
By the end of the unit students will be able to:
20 lectures; problem classes. One drop-in session per week.
2-hour written exam (100%)
There is no required reading, but the following are useful references: