An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations‚ Labelled Posets‚ and Parameterized Algebraic Theories
Ohad Kammar‚ Jack Liell−Cock‚ Sam Lindley‚ Cristina Matache and Sam Staton
Journal
Proceedings of the ACM on Programming Languages
Number
POPL
Pages
1847–1875
Volume
10
Year
2026