Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only
Abstract elided by the publisher.
Related papers
- Capabilities for Uniqueness and Borrowing ECOOP 2010
- Lock elision for read-only critical sections in Java PLDI 2010
- Connecting effects and uniqueness with adoption POPL 2005
- Semantics of fractional permissions with nesting TOPLAS 2010
- Concurrent Reading While Writing TOPLAS 1983
- Generic messages: capability-based shared memory parallelism for event-loop systems PPoPP 2016
- TL4x: Buffered Durable Transactions on Disk as Fast as in Memory PPoPP 2023
- Complete the Cycle: Reachability Types with Expressive Cyclic References OOPSLA 2025