@article{lmcs:11656, title = {Higher-Order Asynchronous Effects}, author = {Danel Ahman and Matija Pretnar}, url = {https://lmcs.episciences.org/11656}, doi = {10.46298/lmcs-20(3:26)2024}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 20, Issue 3}, eid = 26, year = {2024}, month = {Sep}, keywords = {Computer Science - Programming Languages, Computer Science - Logic in Computer Science}, }