Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Radosław Waśko
conf.researchr.org general profile
SPLASH 2022 profile
Not registered as user
Name:
Radosław Waśko
Country:
Poland
Affiliation:
University of Warsaw
Contributions
2022
SPLASH
Author of A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning within the OOPSLA-track
Share
x
Sun 22 Dec 08:09