2019-02-08: Stuart Gale (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Stuart Gale (MSP)

Evaluators for bidirectional type systems

Abstract

In this talk I'll introduce syntax and semantics of a generic bidirectionally type checked lambda calculus. I'll also show that lumps of syntax that act as a type annotation are in fact the fuel which powers structural evaluation.

2019-02-08 16:00:00 UTC
LT1310