conf.researchr.org / Ondřej Lhoták
Registered user since Wed 14 Sep 2016
Name:Ondřej Lhoták
Country:Canada
Affiliation:University of Waterloo
Personal website: http://plg.uwaterloo.ca/~olhotak/
Contributions
2024
2023
SPLASH
2022
2021
2020
SPLASH
- Author of A Type-and-Effect System for Object Initialization within the OOPSLA-track
- Author of Fixpoints for the Masses: Programming with First-Class Datalog Constraints within the OOPSLA-track
- Author of ιDOT: A DOT Calculus with Object Initialization within the OOPSLA-track
- Committee Member in External Review Committee within the OOPSLA-track
- Author of A Type-and-Effect System for Object Initialization within the OOPSLA Artifacts-track
- Author of ιDOT: A DOT Calculus with Object Initialization within the OOPSLA Artifacts-track
ECOOP
- Author of A Semantics for the Essence of React within the Research Papers-track
- Author of Scala with Explicit Nulls within the Research Papers-track
- Author of Blame for Null within the Artifacts-track
- Author of Reference immutability for DOT within the Research Papers-track
- Author of Blame for Null within the Research Papers-track
- Author of Scala with Explicit Nulls within the Artifacts-track