%0 Conference Paper %1 conf/esop/LindleyMMSWY24 %A Lindley, Sam %A Matache, Cristina %A Moss, Sean K. %A Staton, Sam %A Wu, Nicolas %A Yang, Zhixuan %B ESOP (1) %D 2024 %E Weirich, Stephanie %I Springer %K dblp %P 3-21 %T Scoped Effects as Parameterized Algebraic Theories. %U http://dblp.uni-trier.de/db/conf/esop/esop2024-1.html#LindleyMMSWY24 %V 14576 %@ 978-3-031-57262-3

@inproceedings{conf/esop/LindleyMMSWY24, added-at = {2024-06-08T00:00:00.000+0200}, author = {Lindley, Sam and Matache, Cristina and Moss, Sean K. and Staton, Sam and Wu, Nicolas and Yang, Zhixuan}, biburl = {https://www.bibsonomy.org/bibtex/242d43a325dc24beeab58502954cd80d6/dblp}, booktitle = {ESOP (1)}, crossref = {conf/esop/2024-1}, editor = {Weirich, Stephanie}, ee = {https://doi.org/10.1007/978-3-031-57262-3_1}, interhash = {44475eaf2435732ca8e6829244eda446}, intrahash = {42d43a325dc24beeab58502954cd80d6}, isbn = {978-3-031-57262-3}, keywords = {dblp}, pages = {3-21}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-17T07:40:10.000+0200}, title = {Scoped Effects as Parameterized Algebraic Theories.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2024-1.html#LindleyMMSWY24}, volume = 14576, year = 2024 }