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
Lionel Room 3562 parreaux@cse.ust.hk
Luyu Cheng luyu.cheng@connect.ust.hk