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

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
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
Show activities from other conferences

SPLASH 2020-profile
View general profile