TY  - RPRT
TI  - Formal Semantics and Type System for Vega Data Transformations
AU  - Kristýna Petrlíková
AU  - Tomas Petricek
PY  - 2026
UR  - https://arxiv.org/abs/2606.15013
ID  - 2606.15013
ER  -