%0 Journal Article %1 journals/pacmpl/FruminTB24 %A Frumin, Dan %A Timany, Amin %A Birkedal, Lars %D 2024 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 332-361 %T Modular Denotational Semantics for Effects with Guarded Interaction Trees. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#FruminTB24 %V 8

@article{journals/pacmpl/FruminTB24, added-at = {2024-02-10T00:00:00.000+0100}, author = {Frumin, Dan and Timany, Amin and Birkedal, Lars}, biburl = {https://www.bibsonomy.org/bibtex/2bbf3b7ad951c7a6fc123708e3064e0f6/dblp}, ee = {https://doi.org/10.1145/3632854}, interhash = {df3ab28e948f58fd21483b4da05ac6aa}, intrahash = {bbf3b7ad951c7a6fc123708e3064e0f6}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {January}, number = {POPL}, pages = {332-361}, timestamp = {2024-04-08T09:55:01.000+0200}, title = {Modular Denotational Semantics for Effects with Guarded Interaction Trees.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#FruminTB24}, volume = 8, year = 2024 }