Scoped Effects‚ Scoped Operations‚ and Parameterized Algebraic Theories
Cristina Matache‚ Sam Lindley‚ Sean Moss‚ Sam Staton‚ Nicolas Wu and Zhixuan Yang
Journal
ACM Transactions on Programming Languages and Systems
Number
2
Volume
47
Year
2025
Cristina Matache‚ Sam Lindley‚ Sean Moss‚ Sam Staton‚ Nicolas Wu and Zhixuan Yang