FuSe is a lightweight OCaml module that implements session-based communication primitives and enables session type checking. It works with any out-of-the-box installation of OCaml and supports the following features: delegation; equi-recursive and polymorphic session types; session types with labeled branches; session type inference; duality constraints on session type variables; hybrid static/dynamic linearity checking; session subtyping; higher-order session iterators; shared channels for session initiation.

FuSe - A simple library implementation of binary sessions

PADOVANI, Luca
2015-01-01

Abstract

FuSe is a lightweight OCaml module that implements session-based communication primitives and enables session type checking. It works with any out-of-the-box installation of OCaml and supports the following features: delegation; equi-recursive and polymorphic session types; session types with labeled branches; session type inference; duality constraints on session type variables; hybrid static/dynamic linearity checking; session subtyping; higher-order session iterators; shared channels for session initiation.
2015
0.4
Dipartimento di Informatica, Università di Torino
http://www.di.unito.it/~padovani/Software/FuSe/FuSe.html
Luca Padovani
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1563279
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact