Skip to main content

Unit information: Types and Lambda Calculus in 2020/21

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 Department of Computer Science
Faculty Faculty of Engineering

Description

Please note, this is the 10 credit examination Assessment Unit for COMS30040 Types and Lambda Calculus (Teaching Unit).

Intended learning outcomes

See COMS30040 Types and Lambda Calculus (Teaching Unit).

Teaching details

See COMS30040 Types and Lambda Calculus (Teaching Unit).

Assessment Details

January timed assessment (100%).

See COMS30040 Types and Lambda Calculus (Teaching Unit).

Reading and References

See COMS30040 Types and Lambda Calculus (Teaching Unit).

Feedback