TY  - RPRT
TI  - Programming with union, intersection, and negation types
AU  - Giuseppe Castagna
PY  - 2024
DO  - 10.1007/978-3-031-34518-0_12
UR  - https://arxiv.org/abs/2111.03354
ID  - 2111.03354
ER  -