Wed 17 Jul 2019 13:30 - 13:50 at Mancy - Types Chair(s): Davide Ancona

Transient gradual typing imposes run-time type tests that typically cause a linear slowdown. This performance impact discourages the use of type annotations because adding types to a program makes the program slower. A virtual machine can employ standard just-in-time optimizations to reduce the overhead of transient checks to near zero. These optimizations can give gradually-typed languages performance comparable to state-of-the-art dynamic languages, so programmers can add types to their code without affecting their programs’ performance.

Wed 17 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

13:30 - 15:10
TypesResearch Papers at Mancy
Chair(s): Davide AnconaUniversity of Genova
13:30
20m
Research paper
Transient Typechecks are (Almost) Free
Research Papers
Richard RobertsVictoria University of Wellington, Stefan MarrUniversity of Kent, Michael HomerVictoria University of Wellington, James NobleVictoria University of Wellington
DOI Media Attached
13:50
20m
Research paper
A Typing Discipline for Hardware Interfaces
Research Papers
Jan de Muijnck-HughesUniversity of Glasgow, Wim VanderbauwhedeUniversity of Glasgow
DOI Media Attached
14:10
20m
Research paper
Minimal Session TypesPearl
Research Papers
Alen ArslanagićUniversity of Groningen, Jorge A. PérezUniversity of Groningen, The Netherlands, Erik VoogdUniversity of Groningen
DOI Media Attached
14:30
20m
Research paper
Julia's Efficient Algorithm for Subtyping Unions and Covariant TuplesPearl
Research Papers
Benjamin ChungNortheastern University, Francesco Zappa NardelliInria, Jan VitekNortheastern University
DOI Media Attached
14:50
20m
Research paper
On Satisfiability of Nominal Subtyping with Variance
Research Papers
Aleksandr MisonizhnikSaint-Petersburg State University, Dmitry MordvinovSaint-Petersburg State University, JetBrains Research
DOI Media Attached