2016/12/21 by Luca Padovani · 2 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Software Testing and Debugging Techniques
paper · pdf · doi:10.1017/s0956796816000289
openalex publication_date 2016/12/21 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/04
Abstract Inspired by the continuation-passing encoding of binary sessions, we describe a simple approach to embed a hybrid form of session type checking into any programming language that supports parametric polymorphism. The approach combines static protocol analysis with dynamic linearity checks. To demonstrate the effectiveness of the technique, we implement a well-integrated OCaml module for session communications. For free, OCaml provides us with equirecursive session types, parametric behavioural polymorphism, complete session type inference, and session subtyping.