SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Mon 16 Nov 2020 13:00 - 13:40 at Rebase - 8
Mon 16 Nov 2020 23:00 - 23:40 at Rebase - 8

The programming language Dart is about to introduce sound null safety, which involves a bundle of language mechanisms associated with null as a typing property. This talk presents these mechanisms, including nullable types, late variables, type promotion, null shorting, and the handling of programs with both legacy and null safe libraries.

Erik Ernst is a member of the Dart language team at Google, maintaining the language specification. He has been an associate professor at Aarhus University. He has published research on virtual classes, establishing that they can be statically safe. He introduced family polymorphism, which is foundational for path dependent types, and he contributed to the introduction of generics is Java.

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

13:00 - 13:40: 8REBASE at Rebase +10h
13:00 - 13:40
Talk
REBASE
Erik ErnstGoogle Inc.
23:00 - 23:40: 8REBASE at Rebase
23:00 - 23:40
Talk
REBASE
Erik ErnstGoogle Inc.