Context-Free Session Type Inference - Archive ouverte HAL
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⟩
95 Consultations
568 Téléchargements

Partager

More