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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
