First-class subtypes (ML 2017)

Blogs (28) >>

Sun 3 - Sat 9 September 2017 Oxford, United Kingdom

Who

Jeremy Yallop, Stephen Dolan

Track

ML 2017

Time Zone

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

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

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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.

Jeremy Yallop

University of Cambridge, UK

Stephen Dolan