Lobsters
- Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back (2022) https://dl.acm.org/doi/pdf/10.1145/3527320 3 comments pdf , plt
Linking pages
- The Ultimate Conditional Syntax | Proceedings of the ACM on Programming Languages https://dl.acm.org/doi/10.1145/3689746 63 comments
- GitHub - yallop/effects-bibliography: A collaborative bibliography of work related to the theory and practice of computational effects https://github.com/yallop/effects-bibliography 1 comment
- From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers | Proceedings of the ACM on Programming Languages https://dl.acm.org/doi/10.1145/3622831 1 comment
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:doi.org
Search title: Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back (2022)
See how to search.