TY  - RPRT
TI  - A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning
AU  - Aleksander Boruch-Gruszecki
AU  - Radosław Waśko
AU  - Yichen Xu
AU  - Lionel Parreaux
PY  - 2023
UR  - https://arxiv.org/abs/2209.07427
ID  - 2209.07427
ER  -