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.
Thu 7 Sep
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 |