Scoped Effects as Parameterized Algebraic Theories.
Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
Browse the full ESOP paper archive.
Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
Browse the full ESOP paper archive.