Balloon Types: Controlling Sharing of State in Data Types
No abstract available.
DOI 10.1007/bfb0053373
Related papers
- Context-bounded verification of liveness properties for multithreaded shared-memory programs POPL 2021
- Programming with permissions in Mezzo ICFP 2013
- Reference Capabilities for Concurrency Control ECOOP 2016
- Rely-Guarantee Protocols ECOOP 2014
- Programming and reasoning about actors that share state JFP 2024
- Data Race Freedom à la Mode POPL 2025
- Superficially substructural types ICFP 2012
- Geometry of synthesis III: resource management through type inference POPL 2011