2018-08-29: Philippa Cowderoy

Tue, 14 Oct 2025 16:51:42 +0000

Philippa Cowderoy

Information-Aware Type Systems

Abstract

The minimalist tradition in type systems makes for easy mathematics, but often leaves their mechanisms needlessly obscured.

One possible remedy is to track the behaviour of information in a system — its creation, its destruction and how it flows between constraints and source locations. I illustrate this with the Simply-Typed Lambda Calculus.

2018-08-29 15:00:00 UTC
LT1415