TY  - RPRT
TI  - Pipeline Denotational Design: Correct-by-Construction Data Pipelines at Zero Cost
AU  - Nikos Karayannidis
PY  - 2026
UR  - https://arxiv.org/abs/2608.12375
ID  - 2608.12375
ER  -