A Fresh Look at Separation Algebras and Share Accounting
Abstract elided by the publisher.
Related papers
- A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists APLAS 2023
- A fresh look at binary search trees JFP 2002
- Objects - A Fresh Look ECOOP 1989
- Feature-Oriented Programming: A Fresh Look at Objects ECOOP 1997
- A Fresh Look at PRE as a Maximum Flow Problem CC 2006
- Structural Information Flow: A Fresh Look at Types for Non-interference OOPSLA 2025
- A fresh look at programming with names and binders ICFP 2010
- A Fresh Look at Combinator Graph Reduction PLDI 1989