Login / Signup
Radoslaw Wasko
ORCID
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 2
Top Topics
Boyer Moore
Theoretical Foundation
Bit Parallel
Hamming Distance
Top Venues
Proc. ACM Program. Lang.
CoRR
</>
Publications
</>
Aleksander Boruch-Gruszecki
,
Radoslaw Wasko
,
Yichen Xu
,
Lionel Parreaux
A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning.
Proc. ACM Program. Lang.
6 (OOPSLA2) (2022)
Aleksander Boruch-Gruszecki
,
Radoslaw Wasko
,
Yichen Xu
,
Lionel Parreaux
A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning.
CoRR
(2022)