Ondřej Lhoták - SPLASH 2020

Sun 15 - Sat 21 November 2020 Online Conference

Registered user since Wed 14 Sep 2016

Name:Ondřej Lhoták

Affiliation:University of Waterloo

Contributions

ECOOP 2020	A Semantics for the Essence of React Scala with Explicit Nulls Blame for Null Reference immutability for DOT Blame for Null Scala with Explicit Nulls
SPLASH 2020	A Type-and-Effect System for Object Initialization Fixpoints for the Masses: Programming with First-Class Datalog Constraints ιDOT: A DOT Calculus with Object Initialization Committee Member in External Review Committee within the OOPSLA-track A Type-and-Effect System for Object Initialization ιDOT: A DOT Calculus with Object Initialization
Show activities from other conferences

SPLASH 2020-profile
View general profile