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
Times are displayed in time zone: Tijuana, Baja California change

13:30 - 15:00
Session 3DLS 2017 at Regency C
Chair(s): Davide AnconaUniversity of Genova
13:30
60m
Talk
Invited talk: Challenges and Progress Toward Efficient Gradual Typing
DLS 2017
Jeremy G. SiekIndiana University, USA
File Attached
14:30
30m
Talk
Semantics of Asynchronous JavaScript
DLS 2017
Matthew C. Loring, Mark MarronMicrosoft Research, Daan LeijenMicrosoft Research
15:30 - 17:00
Session 4DLS 2017 at Regency C
Chair(s): Marc FeeleyUniversité de Montréal
15:30
30m
Talk
Decoding Lua: Formal Semantics for the Developer and the Semanticist
DLS 2017
16:00
30m
Talk
The Semantics of Name Resolution in Grace
DLS 2017
Vlad VerguTU Delft, Michiel HaismaTU Delft, Eelco VisserDelft University of Technology
DOI

Tue 24 Oct
Times are displayed in time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Regency C
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)