Context-Free Session Type Inference - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2016

Context-Free Session Type Inference

Luca Padovani
  • Fonction : Auteur
  • PersonId : 966685

Résumé

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

Dates et versions

hal-01385258 , version 1 (21-10-2016)

Identifiants

  • HAL Id : hal-01385258 , version 1

Citer

Luca Padovani. Context-Free Session Type Inference. 2016. ⟨hal-01385258⟩
91 Consultations
536 Téléchargements

Partager

Gmail Facebook X LinkedIn More