Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories.
Saved in:
| Title: | Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories. |
|---|---|
| Authors: | Matache, Cristina1, cristina.matache@ed.ac.uk, Lindley, Sam2, sam.lindley@ed.ac.uk, Moss, Sean2, s.k.moss@bham.ac.uk, Staton, Sam3, sam.staton@cs.ox.ac.uk, Wu, Nicolas4, n.wu@imperial.ac.uk, Yang, Zhixuan4, s.yang20@imperial.ac.uk |
| Source: | ACM Transactions on Programming Languages & Systems; Jun2025, Vol. 47 Issue 2, p1-33, 33p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01640925 |
|---|---|
| DOI: | 10.1145/3731678 |
