Unit name | Types and Lambda Calculus |
---|---|
Unit code | COMS30039 |
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 |
See COMS30040 Types and Lambda Calculus (Teaching Unit). |
Co-requisites |
COMS30040 Types and Lambda Calculus (Teaching Unit). |
School/department | School of Computer Science |
Faculty | Faculty of Engineering |
Please note, this is the 10 credit examination Assessment Unit for COMS30040 Types and Lambda Calculus (Teaching Unit).
See COMS30040 Types and Lambda Calculus (Teaching Unit).
See COMS30040 Types and Lambda Calculus (Teaching Unit).
January timed assessment (100%).
See COMS30040 Types and Lambda Calculus (Teaching Unit).
See COMS30040 Types and Lambda Calculus (Teaching Unit).