Effects, capabilities, and boxes: From Scope-Based Reasoning to Type-Based Reasoning and Back
14 views
Skip to first unread message
Christine Lemmer-Webber
Feb 3, 2023, 5:51:21 PM2/3/23
to cap-...@googlegroups.com
Has this come up before?
On the queue for me to read, Brooklyn Zelenka recommended it to me:
https://dl.acm.org/doi/pdf/10.1145/3527320
On the queue for me to read, Brooklyn Zelenka recommended it to me:
https://dl.acm.org/doi/pdf/10.1145/3527320
Reply all
Reply to author
Forward
0 new messages