DLS 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017
You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 24 Oct

Displayed time zone: Tijuana, Baja California change

13:30 - 15:00
Session 3DLS 2017 at Regency C
Chair(s): Davide Ancona University of Genova
13:30
60m
Talk
Invited talk: Challenges and Progress Toward Efficient Gradual Typing
DLS 2017
Jeremy G. Siek Indiana University, USA
File Attached
14:30
30m
Talk
Semantics of Asynchronous JavaScript
DLS 2017
Matthew C. Loring , Mark Marron Microsoft Research, Daan Leijen Microsoft Research
15:30 - 17:00
Session 4DLS 2017 at Regency C
Chair(s): Marc Feeley Université de Montréal
15:30
30m
Talk
Decoding Lua: Formal Semantics for the Developer and the Semanticist
DLS 2017
Mallku Soldevila FAMAF, UNC / CONICET, Beta Ziliani FAMAF, UNC and CONICET, Bruno Silvestre , Daniel Fridlender , Fabio Mascarenhas UFRJ
16:00
30m
Talk
The Semantics of Name Resolution in Grace
DLS 2017
Vlad Vergu TU Delft, Michiel Haisma TU Delft, Eelco Visser Delft University of Technology
DOI