Wouter Swierstra

Date: 16:00 – 16:30, Thursday, 27.05.2021
Location: MS Teams ICS Colloquium

Title: Types and programming
Abstract: In this talk, I want to show how *types* play an increasingly important role in modern programming languages. Types can provide much more information and structure than simply ruling out bad behaviour. Types can guide program development, help enforce program invariants, derive a wide class of programs automatically, or even be used to prove program correctness.