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