TY  - RPRT
TI  - Types and Semantics for Extensible Data Types (Extended Version)
AU  - Cas van der Rest
AU  - Casper Bach Poulsen
PY  - 2023
UR  - https://arxiv.org/abs/2309.14985
ID  - 2309.14985
ER  -