Write a Blog >>
Fri 28 Sep 2018 10:20 - 10:42 at Frisco - Session 1: Scala Foundations Chair(s): Paolo G. Giarrusso

This paper presents a design for extensible records in Scala satisfying design goals such as structural subtyping, type-safe polymorphic operations, and separate compilation without run-time bytecode generation. Using new features of Scala 3, the design requires only minimal, local changes to the Scala 3 reference compiler Dotty as well as a small library component. Runtime performance is evaluated experimentally using a novel benchmarking suite generator, showing that the design is competitive with reflection-based approaches for structural field access, and excels at immutable extension and update operations.

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:20 - 11:50
Session 1: Scala FoundationsScala 2018 at Frisco
Chair(s): Paolo G. Giarrusso EPFL, Switzerland
10:20
22m
Talk
Extending Scala with Records: Design, Implementation, and Evaluation
Scala 2018
Olof Karlsson A3J Consulting, Sweden, Philipp Haller KTH, Sweden
DOI
10:42
23m
Talk
Initialization Patterns in Dotty
Scala 2018
Fengyun Liu EPFL, Switzerland, Aggelos Biboudis EPFL, Switzerland, Martin Odersky EPFL, Switzerland
DOI
11:05
22m
Talk
Path Dependent Types with Path-Equality
Scala 2018
Jaemin Hong KAIST, South Korea, Jihyeok Park KAIST, South Korea, Sukyoung Ryu KAIST, South Korea
DOI
11:27
23m
Talk
κDOT: Scaling DOT with Mutation and Constructors
Scala 2018
Ifaz Kabir University of Waterloo, Canada, Ondřej Lhoták University of Waterloo
DOI