pages tagged types

RecentChanges

Lecture 14: Structural and Nominal Types
Posted Tue 28 Oct 2025 12:00:00 AM

Lecture 13: Algebraic and Union Types
Posted Wed 22 Oct 2025 12:00:00 AM

Lecture 12: type inference
Posted Thu 16 Oct 2025 12:00:00 AM

Lecture 11: type safety
Posted Tue 14 Oct 2025 12:00:00 AM

Lecture 10: type safety
Posted Thu 09 Oct 2025 12:00:00 AM

Lecture 9: Types II
Posted Tue 07 Oct 2025 12:00:00 AM

Lecture 2: Evaluation
Posted Mon 08 Sep 2025 12:00:00 AM