On the preciseness of subtyping in session types: 10 years later
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.
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Language: | English |
| Published: |
Association for Computing Machinery
2024
|
| _version_ | 1811141261144358912 |
|---|---|
| author | Chen, T-C Dezani, M Yoshida, N |
| author_facet | Chen, T-C Dezani, M Yoshida, N |
| author_sort | Chen, T-C |
| collection | OXFORD |
| description | 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. |
| first_indexed | 2024-09-25T04:35:04Z |
| format | Conference item |
| id | oxford-uuid:6f395913-6cf7-4e1d-b3c6-269d0301b6e0 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-09-25T04:35:04Z |
| publishDate | 2024 |
| publisher | Association for Computing Machinery |
| record_format | dspace |
| spelling | oxford-uuid:6f395913-6cf7-4e1d-b3c6-269d0301b6e02024-09-19T20:03:29ZOn the preciseness of subtyping in session types: 10 years laterConference itemhttp://purl.org/coar/resource_type/c_5794uuid:6f395913-6cf7-4e1d-b3c6-269d0301b6e0EnglishSymplectic ElementsAssociation for Computing Machinery2024Chen, T-CDezani, MYoshida, NThe 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. |
| spellingShingle | Chen, T-C Dezani, M Yoshida, N On the preciseness of subtyping in session types: 10 years later |
| title | On the preciseness of subtyping in session types: 10 years later |
| title_full | On the preciseness of subtyping in session types: 10 years later |
| title_fullStr | On the preciseness of subtyping in session types: 10 years later |
| title_full_unstemmed | On the preciseness of subtyping in session types: 10 years later |
| title_short | On the preciseness of subtyping in session types: 10 years later |
| title_sort | on the preciseness of subtyping in session types 10 years later |
| work_keys_str_mv | AT chentc ontheprecisenessofsubtypinginsessiontypes10yearslater AT dezanim ontheprecisenessofsubtypinginsessiontypes10yearslater AT yoshidan ontheprecisenessofsubtypinginsessiontypes10yearslater |