Not registered as user yet

Name:Radosław Waśko
Country:Poland
Affiliation:University of Warsaw

Contributions

SPLASH 2022 Author of A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning within the OOPSLA-track