A simple library implementation of binary sessions*. (21st December 2016)

• Record Type: Journal Article
• Authors: PADOVANI, LUCA
• Is Part Of: Journal of functional programming. Volume 27(2017)
• Publication Date: 2016-12-21
• Subjects: Functional programming (Computer science) -- Periodicals
• DOI: 10.1017/S0956796816000289
• Languages: English
• ISSNs: 0956-7968

Abstract

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-integratedOCaml module for session communications. For free, OCaml provides us with equirecursive session types, parametric behavioural polymorphism, complete session type inference, and session subtyping.