2018-08-31: Philippa Cowderoy

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

Philippa Cowderoy

Telescopic [Constraint] Trees, or: Information-Aware Type Systems In Context

Abstract

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

I build a structure for Hindley-Milner checking problems in the tradition of Type Inference in Context. This structure is derived from typing rules in the style of my first talk and mirrors data structures used for elaboration problems in dependent type systems — offering a notation that can be used among designers and implementors of type systems and even in explaining their behaviour to users.

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