Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
ICFP 2017 (series) / ML 2017 (series) / ML 2017 /

First-class subtypes

Jeremy Yallop, Stephen Dolan
ML 2017
Thu 7 Sep 2017 11:20 - 11:45 at L3 - Types and modules

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

small-avatar
Jeremy Yallop
University of Cambridge, UK
small-avatar
Stephen Dolan

Thu 7 Sep

mlfamilyworkshop-2017-papers
10:30 - 11:45: ML 2017 - Types and modules at L3
mlfamilyworkshop-2017-papers10:30 - 10:55
Talk
Gowtham KakiPurdue University, KC SivaramakrishnanUniversity of Cambridge, Samodya AbeysiriwardanePurdue University, Suresh JagannathanPurdue University
mlfamilyworkshop-2017-papers10:55 - 11:20
Talk
Gabriel RadanneUniversité Denis Diderot Paris 7, PPS, Jérôme VouillonUniv Paris Diderot, Sorbonne Paris Cité, BeSport
mlfamilyworkshop-2017-papers11:20 - 11:45
Talk
Jeremy YallopUniversity of Cambridge, UK, Stephen Dolan