ECOOP 2019 (series) / Scala 2019 (series) / Tenth ACM SIGPLAN Scala Symposium /
Dependent Object Types with Implicit Functions
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 JulDisplayed time zone: Belfast change
Wed 17 Jul
Displayed time zone: Belfast change
10:30 - 12:10 | |||
10:30 30mResearch paper | Dependent Object Types with Implicit Functions Scala Alex Jeffery University of Sussex | ||
11:00 20mTalk | Symmetric Multiple Dispatch for Path Dependent Types Scala | ||
11:20 20mTalk | A universal encoding for functions in Scala based on structural types Scala Guillaume Martres EPFL, Switzerland | ||
11:40 30mShort-paper | Towards Improved GADT Reasoning in Scala Scala Lionel Parreaux EPFL, Aleksander Boruch-Gruszecki EPFL, Paolo G. Giarrusso TU Delft, The Netherlands |