@article{kammar2026threads,
  title = "An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories",
  author = "Ohad Kammar and Jack Liell-Cock and Sam Lindley and Cristina Matache and Sam Staton",
  year = "2026",
  journal = "Proceedings of the ACM on Programming Languages",
  number = "POPL",
  pages = "1847--1875",
  volume = "10",
  doi = "10.1145/3776706",
}