News: PPDP 2024 Most Influential Paper Award
27 Aug 2024
The paper ‘On the Preciseness of Subtyping in Session Types’, by Tzu-Chun Chen, Mariangiola Dezani-Cianciaglini, and Nobuko Yoshida will receive the 10-Year Most Influential Paper Award at the 26th International Symposium on Principles and Practice of Declarative Programming (PPDP 2024).
The paper can be found here, as well as in our website.