Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution
No abstract available.
Related papers
- SPORE: Combining Symmetry and Partial Order Reduction PLDI 2024
- Age-Oriented Concurrent Garbage Collection CC 2005
- Semantic foundations for typed assembly languages TOPLAS 2010
- A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming ECOOP 2017
- Semantic Foundations of Jade POPL 1992
- Type-Theoretic Foundations for Concurrent Object-Oriented Programming OOPSLA 1994
- Towards Haskell in the cloud Haskell 2011
- Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information TACAS 2015