![Ondřej Lhoták](https://conf.researchr.org/getProfileImage/ondrejlhotak/c429d167-9f75-4bf7-b631-8d48bbbbd978/small.jpg?1711458910000)
Registered user since Wed 14 Sep 2016
Name:Ondřej Lhoták
Affiliation:University of Waterloo
Personal website: http://plg.uwaterloo.ca/~olhotak/
Contributions
2020
SPLASH
- 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
SPLASH 2020-profile
View general profile
View general profile