Practical Refinement Session Type Inference
No abstract available.
DOI 10.1007/978-3-032-22723-2_11
Related papers
- A session type provider: compile-time API generation of distributed protocols with refinements in F# CC 2018
- Context-Free Session Type Inference ESOP 2017
- Context-Free Session Type Inference TOPLAS 2019
- Probabilistic Refinement Session Types PLDI 2025
- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs TACAS 2022
- Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency ECOOP 2024
- Bounded refinement types ICFP 2015
- Statically verified refinements for multiparty protocols OOPSLA 2020