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

scala-2019-papers
10:30 - 12:10: Scala 2019 - Types at Epernay
scala-2019-papers10:30 - 11:00
Research paper
Alex JefferyUniversity of Sussex
scala-2019-papers11:00 - 11:20
Talk
Jaemin HongKAIST, South Korea, Sukyoung RyuKAIST, South Korea
scala-2019-papers11:20 - 11:40
Talk
Guillaume MartresEPFL, Switzerland
scala-2019-papers11:40 - 12:10
Short-paper