Conference item
On the preciseness of subtyping in session types: 10 years later
- Abstract:
- The PPDP Most Influential Paper 10-Year Award for our work [11] was a delightful surprise. We subsequently reviewed the subsequent literature to see how our results have been utilised. This short note aims to capture crucial references without missing too many.
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Preview, Accepted manuscript, pdf, 199.7KB, Terms of use)
-
- Publisher copy:
- 10.1145/3678232.3678258
Authors
+ Engineering and Physical Sciences Research Council
More from this funder
- Grant:
- EP/N028201/1 - 72043/2
- EP/X015955/1 - 316931
- EP/T006544/2
- EP/T014709/2
- EP/N027833/2
- 309899
- Publisher:
- Association for Computing Machinery
- Host title:
- Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming (PPDP 2024)
- Journal:
- Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming More from this journal
- Article number:
- 2
- Publication date:
- 2024-09-09
- Acceptance date:
- 2024-07-13
- Event title:
- 26th International Symposium on Principles and Practice of Declarative Programming (PPDP 2024)
- Event location:
- Politecnico di Milano, Italy
- Event website:
- https://ppdp2024.github.io/
- Event start date:
- 2024-09-10
- Event end date:
- 2024-09-11
- DOI:
- ISBN:
- 979-8-4007-0969-2
- Language:
-
English
- Keywords:
- Pubs id:
-
2017307
- Local pid:
-
pubs:2017307
- Deposit date:
-
2024-07-19
Terms of use
- Copyright holder:
- Chen et al.
- Copyright date:
- 2024
- Rights statement:
- © 2024 Copyright held by the owner/author(s).
- Notes:
- This paper will be presented at the 26th International Symposium on Principles and Practice of Declarative Programming (PPDP 2024), 10th-11th September 2024, Politecnico di Milano, Italy. This is the accepted manuscript version of the article. The final version is available online from Association for Computing Machinery at https://dx.doi.org/10.1145/3678232.3678258| This is the accepted manuscript version of the article. The final version is available online from Association for Computing Machinery at https://doi.org/10.1145/3678232.3678258
If you are the owner of this record, you can report an update to it here: Report update to this record