Skip to Main content Skip to Navigation
Conference papers

Session-ocaml: A Session-Based Library with Polarities and Lenses

Keigo Imai 1 Nobuko Yoshida 2 Shoji Yuen 3
1 Gifu University
2 Imperial College London
3 Nagoya University
Abstract : We propose session-ocaml, a novel library for session-typed concurrent/distributed programming in OCaml. Our technique solely relies on parametric polymorphism, which can encode core session type structures with strong static guarantees. Our key ideas are: (1) polarised session types, which give an alternative formulation of duality enabling OCaml to automatically infer an appropriate session type in a session with a reasonable notational overhead; and (2) a parameterised monad with a data structure called ‘slots’ manipulated with lenses, which can statically enforce session linearity and delegations. We show applications of session-ocaml including a travel agency usecase and an SMTP protocol.
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-01657342
Contributor : Hal Ifip <>
Submitted on : Wednesday, December 6, 2017 - 3:47:35 PM
Last modification on : Wednesday, December 6, 2017 - 3:49:46 PM

File

Vignette du document
450044_1_En_6_Chapter.pdf
Files produced by the author(s)

Licence

Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Collections

IFIP-LNCS | IFIP | IFIP-TC | IFIP-WG | IFIP-TC6 | IFIP-WG6-1 | IFIP-COORDINATION | IFIP-LNCS-10319

Citation

Keigo Imai, Nobuko Yoshida, Shoji Yuen. Session-ocaml: A Session-Based Library with Polarities and Lenses. 19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.99-118, ⟨10.1007/978-3-319-59746-1_6⟩. ⟨hal-01657342⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

123

Files downloads

72

 

Contact                    Legal Notice                    Personal Data