A Self-Dual Distillation of Session Types
No abstract available.
DOI 10.4230/lipics.ecoop.2022.23
Related papers
- InspectCoder: Dynamic Analysis-Driven Self Repair through Interactive LLM-Debugger Collaboration OOPSLA 2026
- Client-server sessions in linear logic ICFP 2021
- Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes ESOP 2019
- Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection OOPSLA 2023
- Iso-Recursive Multiparty Sessions and their Automated Verification ESOP 2025
- Connectivity graphs: a method for proving deadlock freedom based on separation logic POPL 2022
- Distill: Domain-Specific Compilation for Cognitive Models CGO 2022
- Identifying and Correcting Programming Language Behavior Misconceptions OOPSLA 2024