Session Types Revisited: A Decade Later - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2022

Session Types Revisited: A Decade Later

Résumé

This short paper is a retrospection of our original work titled Session Types Revisited [11] published at PPDP’12.We thank the PPDP Steering Committee for awarding us the “PPDP 10 Year Most Influential Paper Award”. In the following, we recall our main contributions, highlight the impact in the literature and we conclude by presenting some ideas for future developments.
Fichier principal
Vignette du fichier
main.pdf (386.9 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03922188 , version 1 (04-01-2023)

Identifiants

Citer

Ornela Dardha, Elena Giachino, Davide Sangiorgi. Session Types Revisited: A Decade Later. PPDP 2022 / 24th International Symposium on Principles and Practice of Declarative Programming, Sep 2022, Tbilisi, Georgia. pp.1-4, ⟨10.1145/3551357.3556676⟩. ⟨hal-03922188⟩
44 Consultations
42 Téléchargements

Altmetric

Partager

More