Theory of Types and Programming Languages

Staff

Documents

Assignments

Project 1 - The NB Language

Project 2 - Untyped Lambda Calculus

Project 3 - Simply Typed Lambda Calculus

Project 4 - STLC Extensions

Project 5 - STLC with Type Reconstruction

Staff

Professor

Lionel
Room 3562
parreaux@cse.ust.hk

Assistants

Luyu Cheng

luyu.cheng@connect.ust.hk