{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T10:07:49Z","timestamp":1770286069114,"version":"3.49.0"},"reference-count":53,"publisher":"Association for Computing Machinery (ACM)","issue":"PLDI","license":[{"start":{"date-parts":[[2023,6,6]],"date-time":"2023-06-06T00:00:00Z","timestamp":1686009600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","award":["PTDC\/CCI-COM\/6453\/2020,UIDB\/00408\/2020,UIDP\/00408\/2020"],"award-info":[{"award-number":["PTDC\/CCI-COM\/6453\/2020,UIDB\/00408\/2020,UIDP\/00408\/2020"]}]},{"name":"COST","award":["CA20111"],"award-info":[{"award-number":["CA20111"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2023,6,6]]},"abstract":"<jats:p>We propose algebraic protocols that enable the definition of protocol templates and session types analogous to the definition of domain-specific types with algebraic datatypes. Parameterized algebraic protocols subsume all regular as well as most context-free and nested session types and, at the same time, replace the expensive superlinear algorithms for type checking by a nominal check that runs in linear time. Algebraic protocols in combination with polymorphism increase expressiveness and modularity by facilitating new ways of parameterizing and composing session types.<\/jats:p>","DOI":"10.1145\/3591277","type":"journal-article","created":{"date-parts":[[2023,6,6]],"date-time":"2023-06-06T20:06:24Z","timestamp":1686081984000},"page":"1389-1413","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Parameterized Algebraic Protocols"],"prefix":"10.1145","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1547-0692","authenticated-orcid":false,"given":"Andreia","family":"Mordido","sequence":"first","affiliation":[{"name":"University of Lisbon, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-4510-2003","authenticated-orcid":false,"given":"Janek","family":"Spaderna","sequence":"additional","affiliation":[{"name":"University of Freiburg, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9000-1239","authenticated-orcid":false,"given":"Peter","family":"Thiemann","sequence":"additional","affiliation":[{"name":"University of Freiburg, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9539-8861","authenticated-orcid":false,"given":"Vasco T.","family":"Vasconcelos","sequence":"additional","affiliation":[{"name":"University of Lisbon, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2023,6,6]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561324"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2022.104948"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.291.2"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45237-7_3"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-010-9060-x"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209189"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44584-6_28"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158093"},{"key":"e_1_2_1_9_1","volume-title":"Infotech State of the Art Conference: The Software Revolution. Copenhagen.","author":"Burstall Rod M.","year":"1977","unstructured":"Rod M. Burstall . 1977 . Design Considerations for a Functional Programming Language . In Infotech State of the Art Conference: The Software Revolution. Copenhagen. Rod M. Burstall. 1977. Design Considerations for a Functional Programming Language. In Infotech State of the Art Conference: The Software Revolution. Copenhagen."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/800087.802799"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15375-4_16"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129514000218"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1599410.1599437"},{"key":"e_1_2_1_14_1","volume-title":"Andreia Mordido e Diogo Po\u00e7as, and Vasco T. Vasconcelos","author":"Costa Diana","year":"2023","unstructured":"Diana Costa , Andreia Mordido e Diogo Po\u00e7as, and Vasco T. Vasconcelos . 2023 . System F^\u03bc _\u03c9 with Context-free Session Types. In Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings (Lecture Notes in Computer Science). Springer . To appear Diana Costa, Andreia Mordido e Diogo Po\u00e7as, and Vasco T. Vasconcelos. 2023. System F^\u03bc _\u03c9 with Context-free Session Types. In Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings (Lecture Notes in Computer Science). Springer. To appear"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.356.3"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500001535"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72019-3_7"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3450952"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73576"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CONCUR.2021.36"},{"key":"e_1_2_1_21_1","volume-title":"Separating Sessions Smoothly. CoRR, abs\/2105.08996","author":"Fowler Simon","year":"2021","unstructured":"Simon Fowler , Wen Kokke , Ornela Dardha , Sam Lindley , and J. Garrett Morris . 2021. Separating Sessions Smoothly. CoRR, abs\/2105.08996 ( 2021 ), arXiv:2105.08996. https:\/\/doi.org\/10.48550\/arXiv.2105.08996 10.48550\/arXiv.2105.08996 Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, and J. Garrett Morris. 2021. Separating Sessions Smoothly. CoRR, abs\/2105.08996 (2021), arXiv:2105.08996. https:\/\/doi.org\/10.48550\/arXiv.2105.08996"},{"key":"e_1_2_1_22_1","unstructured":"(last accessed March 2023). The FreeST Programming Language. https:\/\/freest-lang.github.io\/ \t\t\t\t  (last accessed March 2023). The FreeST Programming Language. https:\/\/freest-lang.github.io\/"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49099-X_6"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-005-0177-z"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99253-8_18"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809990268"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57208-2_35"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053567"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237794"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676969"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951921"},{"key":"e_1_2_1_32_1","volume-title":"Behavioural Types: from Theory to Tools, Simon Gay and Ant\u00f3nio Ravara (Eds.)","author":"Lindley Sam","unstructured":"Sam Lindley and J. Garrett Morris . 2017. Lightweight Functional Session Types . In Behavioural Types: from Theory to Tools, Simon Gay and Ant\u00f3nio Ravara (Eds.) . River Publishers , Gistrup, Denmark . Extended version at https:\/\/homepages.inf.ed.ac.uk\/slindley\/papers\/fst-extended.pdf Sam Lindley and J. Garrett Morris. 2017. Lightweight Functional Session Types. In Behavioural Types: from Theory to Tools, Simon Gay and Ant\u00f3nio Ravara (Eds.). River Publishers, Gistrup, Denmark. Extended version at https:\/\/homepages.inf.ed.ac.uk\/slindley\/papers\/fst-extended.pdf"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1708016.1708027"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-30936-1_12"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90009-5"},{"key":"e_1_2_1_36_1","volume-title":"Linear Logic, the \u03c0 -calculus, and their Metatheory: A Recipe for Proofs as Processes. CoRR, abs\/2106.11818","author":"Montesi Fabrizio","year":"2021","unstructured":"Fabrizio Montesi and Marco Peressotti . 2021. Linear Logic, the \u03c0 -calculus, and their Metatheory: A Recipe for Proofs as Processes. CoRR, abs\/2106.11818 ( 2021 ), arXiv:2106.11818. arxiv:2106.11818 Fabrizio Montesi and Marco Peressotti. 2021. Linear Logic, the \u03c0 -calculus, and their Metatheory: A Recipe for Proofs as Processes. CoRR, abs\/2106.11818 (2021), arXiv:2106.11818. arxiv:2106.11818"},{"key":"e_1_2_1_37_1","volume-title":"Vasconcelos","author":"Mordido Andreia","year":"2023","unstructured":"Andreia Mordido , Janek Spaderna , Peter Thiemann , and Vasco T . Vasconcelos . 2023 . Parameterized Algebraic Protocols . arxiv:2304.03764. https:\/\/doi.org\/10.48550\/arXiv.2304.03764 10.48550\/arXiv.2304.03764 Andreia Mordido, Janek Spaderna, Peter Thiemann, and Vasco T. Vasconcelos. 2023. Parameterized Algebraic Protocols. arxiv:2304.03764. https:\/\/doi.org\/10.48550\/arXiv.2304.03764"},{"key":"e_1_2_1_38_1","unstructured":"Bryan O\u2019Sullivan. (last accessed March 2023). gauge: small framework for performance measurement and analysis. https:\/\/hackage.haskell.org\/package\/gauge-0.2.5\/ \t\t\t\t  Bryan O\u2019Sullivan. (last accessed March 2023). gauge: small framework for performance measurement and analysis. https:\/\/hackage.haskell.org\/package\/gauge-0.2.5\/"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54434-1_30"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3229062"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434302"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25379-9_4"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46678-0_1"},{"key":"e_1_2_1_44_1","volume-title":"Types and Programming Languages","author":"Pierce Benjamin C.","unstructured":"Benjamin C. Pierce . 2002. Types and Programming Languages . MIT Press . isbn:978-0-262-16209-8 Benjamin C. Pierce. 2002. Types and Programming Languages. MIT Press. isbn:978-0-262-16209-8"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.7804667"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3547626"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58184-7_118"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951926"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371135"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_20"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45917-1_11"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2012.05.002"},{"key":"e_1_2_1_53_1","volume-title":"Advanced Topics in Types and Programming Languages","author":"Walker David","unstructured":"David Walker . 2005. Advanced Topics in Types and Programming Languages . The MIT Press , 3\u201344. David Walker. 2005. Advanced Topics in Types and Programming Languages. The MIT Press, 3\u201344."}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3591277","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3591277","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:47:20Z","timestamp":1750178840000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3591277"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,6]]},"references-count":53,"journal-issue":{"issue":"PLDI","published-print":{"date-parts":[[2023,6,6]]}},"alternative-id":["10.1145\/3591277"],"URL":"https:\/\/doi.org\/10.1145\/3591277","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,6,6]]},"assertion":[{"value":"2023-06-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}