Relative Store Fragments for Singleton Abstraction
Abstract elided by the publisher.
Related papers
- Functional translation of a calculus of capabilities ICFP 2008
- Global abstraction-safe marshalling with hash types ICFP 2003
- Syntactic soundness proof of a type-and-capability system with hidden state JFP 2013
- Completeness for a First-Order Abstract Separation Logic APLAS 2016
- Towards Fully Abstract Semantics for Local Variables POPL 1988
- Label dependent lambda calculus and gradual typing OOPSLA 2021
- Modal Abstractions for Virtualizing Memory Addresses OOPSLA 2025
- Deciding Type Equivalence with Singleton Kinds POPL 2000