Scoped Effects as Parameterized Algebraic Theories

Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang. Scoped Effects as Parameterized Algebraic Theories. In Stephanie Weirich, editor, Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I. Volume 14576 of Lecture Notes in Computer Science, pages 3-21, Springer, 2024. [doi]

Authors

Sam Lindley

This author has not been identified. Look up 'Sam Lindley' in Google

Cristina Matache

This author has not been identified. Look up 'Cristina Matache' in Google

Sean K. Moss

This author has not been identified. Look up 'Sean K. Moss' in Google

Sam Staton

This author has not been identified. Look up 'Sam Staton' in Google

Nicolas Wu

This author has not been identified. Look up 'Nicolas Wu' in Google

Zhixuan Yang

This author has not been identified. Look up 'Zhixuan Yang' in Google