2016-11-02: Ben Price (MSP)

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

Ben Price (MSP)

System F and proof-relevant parametricity

Abstract

I shall give a brief introduction to System F.
I will then explain how to capture our intuition about polymorphic functions behaving uniformly by relational parametricity, and talk about ongoing work to find a notion of proof-relevant parametricity.

2016-11-02 11:00:00 UTC
LT1310