SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Mon 16 Nov 2020 13:00 - 13:40 at SPLASH-II - 8
Mon 16 Nov 2020 23:00 - 23:40 at SPLASH-II - 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.

The discussion and AMA following this talk will be moderated by Joe Pamer and Erik Meijer. No recording will be available.

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 in Java.

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

13:00 - 13:40: 8REBASE at SPLASH-II +10h
13:00 - 13:40
Talk
Herding Nulls in DartAMA
REBASE
Erik ErnstGoogle LLC
23:00 - 23:40: 8REBASE at SPLASH-II
23:00 - 23:40
Talk
Herding Nulls in DartAMA
REBASE
Erik ErnstGoogle LLC