@misc{indiciaec414f2b9afad,
  title = {Pipeline Denotational Design: Correct-by-Construction Data Pipelines at Zero Cost},
  author = {Nikos Karayannidis},
  year = {2026},
  url = {https://arxiv.org/abs/2608.12375},
  note = {Source identifier: 2608.12375}
}