Sealing, Encapsulation, and Mutability
No abstract available.
Related papers
- Permission-based ownership: encapsulating state in higher-order typed languages PLDI 2005
- Lazy Functional State Threads PLDI 1994
- Type-safe higher-order channels in ML-like languages ICFP 2007
- Seal: Symbolic Execution with Separation Logic - (Competition Contribution) TACAS 2026
- Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices! ESOP 2008
- Preemption Sealing for Efficient Concurrency Testing TACAS 2010
- Generic Unification via Two-Level Types and Parameterized Modules ICFP 2001
- A bisimulation for dynamic sealing POPL 2004