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
Scala
Alex JefferyUniversity of Sussex
11:00 - 11:20
Talk
Scala
Jaemin HongKAIST, South Korea, Sukyoung RyuKAIST, South Korea
11:20 - 11:40
Talk
Scala
Guillaume MartresEPFL, Switzerland
11:40 - 12:10
Short-paper
Scala