Wed 17 Jul 2019 11:40 - 12:10 at Epernay - Types

Generalized algebraic data types in Scala have been notoriously difficult to implement, in a way that is both sound and expressive enough to enable their typical use cases. Both major Scala compilers, Scalac and Dotty, are currently known to have soundness holes related to GADTs. The situation is particularly dire with covariant GADTs, where paradoxes due to Scala’s inheritance model have been exposed. This short paper is meant as an informal exploration of possible foundations for GADTs within Scala’s core constructs. Our aim is to formulate some important insights which could guide further implementation efforts towards a principled understanding of GADTs in Scala.

Wed 17 Jul
Times are displayed in time zone: (GMT) Greenwich Mean Time : Belfast change

10:30 - 12:10: TypesScala at Epernay
10:30 - 11:00
Research paper
Alex JefferyUniversity of Sussex
11:00 - 11:20
Jaemin HongKAIST, South Korea, Sukyoung RyuKAIST, South Korea
11:20 - 11:40
Guillaume MartresEPFL, Switzerland
11:40 - 12:10