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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|