Context-Free Session Type Inference

Abstract : Some interesting communication protocols can be precisely described only by context-free session types, an extension of conventional session types with a general form of sequential composition. The complex metatheory of context-free session types, however, hinders the definition of corresponding checking and inference algorithms. In this work we address and solve these problems introducing a new type system for context-free session types of which we provide two OCaml embeddings.
Type de document :
Pré-publication, Document de travail
2016
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01385258
Contributeur : Luca Padovani <>
Soumis le : vendredi 21 octobre 2016 - 10:39:26
Dernière modification le : lundi 24 octobre 2016 - 17:05:30

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01385258, version 1

Citation

Luca Padovani. Context-Free Session Type Inference. 2016. 〈hal-01385258〉

Partager

Métriques

Consultations de
la notice

101

Téléchargements du document

157