A Structural Linearization Principle for Processes
Abstract elided by the publisher.
Related papers
- A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency OOPSLA 2022
- Translation of tree-processing programs into stream-processing programs based on ordered linear type JFP 2008
- Talking bananas: structural recursion for session types ICFP 2016
- Using Ghost Ownership to Verify Union-Find and Persistent Arrays in Rust CPP 2026
- Deadlock-free session types in linear Haskell Haskell 2021
- A principled approach to ornamentation in ML POPL 2018
- Linear, bounded, functional pretty-printing JFP 2009
- Composing Processes POPL 1996