We present examples and encodings of first-class subtypes, analogous to the type equality witnesses that underlie GADTs.
Conference DayThu 7 SepDisplayed time zone: Belfast change
Conference DayThu 7 Sep
Displayed time zone: Belfast change
10:30 - 11:45