pages tagged static-types

RecentChanges

Lecture 14: Nominal and Structural types
Posted Thu 29 Feb 2024 12:00:00 AM

Lecture 13: Algebraic and Union Types
Posted Tue 27 Feb 2024 12:00:00 AM

Lecture 12: Topics in Types
Posted Thu 22 Feb 2024 12:00:00 AM

Lecture 11: Safety and tags
Posted Tue 20 Feb 2024 12:00:00 AM

Lecture 9: Static Typing II
Posted Tue 13 Feb 2024 12:00:00 AM

Lecture 8: Static Typing
Posted Thu 01 Feb 2024 12:00:00 AM