We were thrilled to know that our PPDP'09 paper "Foundations of Session Types" was selected for the PPDP Most Influential Paper 10-Year Award. Just moments after being notified of this, we couldn't help looking at the works that cited-and in some cases were inspired by-our own. The result is the following short note, in which we recollect the main ideas behind our own work and the related ones that followed. The tight gap between the award notification and the deadline for the production of the PPDP'19 proceedings prevent us from providing an exhaustive survey of the related literature and we apologize in advance for the conciseness of our report and any relevant omission. Fortunately, there exist recent surveys that may help the interested readers orient themselves into the vast literature of session tvpes as a whole.

Foundations of Session Types: 10 Years Later

Mariangiola Dezani;Luca Padovani
2019-01-01

Abstract

We were thrilled to know that our PPDP'09 paper "Foundations of Session Types" was selected for the PPDP Most Influential Paper 10-Year Award. Just moments after being notified of this, we couldn't help looking at the works that cited-and in some cases were inspired by-our own. The result is the following short note, in which we recollect the main ideas behind our own work and the related ones that followed. The tight gap between the award notification and the deadline for the production of the PPDP'19 proceedings prevent us from providing an exhaustive survey of the related literature and we apologize in advance for the conciseness of our report and any relevant omission. Fortunately, there exist recent surveys that may help the interested readers orient themselves into the vast literature of session tvpes as a whole.
2019
978-1-4503-7249-7
273
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11581/467716
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 1
social impact