Session-ocaml: A Session-Based Library with Polarities and Lenses - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

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

Keigo Imai
  • Fonction : Auteur
  • PersonId : 1024629
Shoji Yuen
  • Fonction : Auteur

Résumé

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.
Fichier principal
Vignette du fichier
450044_1_En_6_Chapter.pdf (562.81 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01657342 , version 1 (06-12-2017)

Licence

Paternité

Identifiants

Citer

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⟩
63 Consultations
28 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More