First-class subtypes (ML 2017)

Sun 3 - Sat 9 September 2017 Oxford, United Kingdom

Who

Jeremy Yallop, Stephen Dolan

Track

The program is currently displayed in (GMT+01:00) Greenwich Mean Time : Belfast.

Use conference time zone: (GMT+01:00) Greenwich Mean Time : BelfastSelect other time zone

When

Thu 7 Sep 2017 11:20 - 11:45 at L3 - Types and modules

Abstract

We present examples and encodings of first-class subtypes, analogous to the type equality witnesses that underlie GADTs.

The program is currently displayed in (GMT+01:00) Greenwich Mean Time : Belfast.

Use conference time zone: (GMT+01:00) Greenwich Mean Time : BelfastSelect other time zone

Session Program

10:30 - 11:45: ML 2017 - Types and modules at L3

10:30 - 10:55
Talk

Gowtham KakiPurdue University, KC SivaramakrishnanUniversity of Cambridge, Samodya AbeysiriwardanePurdue University, Suresh JagannathanPurdue University

10:55 - 11:20
Talk

Gabriel RadanneUniversité Denis Diderot Paris 7, PPS, Jérôme VouillonUniv Paris Diderot, Sorbonne Paris Cité, BeSport

11:20 - 11:45
Talk

First-class subtypes

Jeremy YallopUniversity of Cambridge, UK, Stephen Dolan

First-class subtypes