Proof-Carrying Code in a Session-Typed Process Calculus
No abstract available.
DOI 10.1007/978-3-642-25379-9_4
Related papers
- Verified Lock-Free Session Channels with Linking OOPSLA 2024
- Fusing Session-Typed Concurrent Programming into Functional Programming ICFP 2025
- On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings ESOP 2018
- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings TOPLAS 2021
- An indexed model of recursive types for foundational proof-carrying code TOPLAS 2001
- Split Decisions: Explicit Contexts for Substructural Languages CPP 2025
- Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes ESOP 2019
- Less is more: multiparty session types revisited POPL 2019