Wed 17 Jul 2019 10:30 - 11:00 at Epernay - Types

DOT (Dependent Object Types) is an object calculus with path-dependent types and abstract type members, developed to serve as a theoretical foundation for the Scala programming language. As yet, DOT does not model all of Scala’s features, but a small subset. We present the calculus DIF (DOT with Implicit Functions), which extends the set of features modelled by DOT to include implicit functions, a feature of Scala to aid modularity of programs. We show type safety of DIF, and demonstrate that the generic programming focused use cases for implicit functions in Scala are also expressible in DIF.

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