{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:45:42Z","timestamp":1780994742091,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T00:00:00Z","timestamp":1697932800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,10,22]]},"DOI":"10.1145\/3610612.3610624","type":"proceedings-article","created":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T23:13:48Z","timestamp":1697498028000},"page":"1-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Polymorphic Typestate for Session Types"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-7014-754X","authenticated-orcid":false,"given":"Hannes","family":"Saffrich","sequence":"first","affiliation":[{"name":"University of Freiburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9000-1239","authenticated-orcid":false,"given":"Peter","family":"Thiemann","sequence":"additional","affiliation":[{"name":"Universit\u00e4t Freiburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,10,22]]},"reference":[{"key":"#cr-split#-e_1_3_2_1_1_1.1","doi-asserted-by":"crossref","unstructured":"Bernardo Almeida Andreia Mordido Peter Thiemann and Vasco\u00a0T. Vasconcelos. 2022. Polymorphic lambda calculus with context-free session types. Information and Computation 289 Part (2022) 104948. https:\/\/doi.org\/10.1016\/j.ic.2022.104948 10.1016\/j.ic.2022.104948","DOI":"10.1016\/j.ic.2022.104948"},{"key":"#cr-split#-e_1_3_2_1_1_1.2","doi-asserted-by":"crossref","unstructured":"Bernardo Almeida Andreia Mordido Peter Thiemann and Vasco\u00a0T. Vasconcelos. 2022. Polymorphic lambda calculus with context-free session types. Information and Computation 289 Part (2022) 104948. https:\/\/doi.org\/10.1016\/j.ic.2022.104948","DOI":"10.1016\/j.ic.2022.104948"},{"key":"e_1_3_2_1_2_1","volume-title":"ESOP 2017(Lecture Notes in Computer Science, Vol.\u00a010201)","author":"Alpuim Jo\u00e3o","year":"2017","unstructured":"Jo\u00e3o Alpuim , Bruno\u00a0 C. d. S.\u00a0 Oliveira , and Zhiyuan Shi . 2017 . Disjoint Polymorphism. In Programming Languages and Systems - 26th European Symposium on Programming , ESOP 2017(Lecture Notes in Computer Science, Vol.\u00a010201) , Hongseok Yang (Ed.). Springer, Uppsala, Sweden, 1\u201328. https:\/\/doi.org\/10.1007\/978-3-662-54434-1_1 10.1007\/978-3-662-54434-1_1 Jo\u00e3o Alpuim, Bruno\u00a0C. d. S.\u00a0Oliveira, and Zhiyuan Shi. 2017. Disjoint Polymorphism. In Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017(Lecture Notes in Computer Science, Vol.\u00a010201), Hongseok Yang (Ed.). Springer, Uppsala, Sweden, 1\u201328. https:\/\/doi.org\/10.1007\/978-3-662-54434-1_1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1561\/2500000031"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679680900728X"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110281"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2015.09.003"},{"key":"e_1_3_2_1_7_1","volume-title":"ESOP(LNCS, Vol.\u00a07792)","author":"Caires Lu\u00eds","unstructured":"Lu\u00eds Caires , Jorge\u00a0 A. P\u00e9rez , Frank Pfenning , and Bernardo Toninho . 2013. Behavioral Polymorphism and Parametricity in Session-Based Communication . In ESOP(LNCS, Vol.\u00a07792) , Matthias Felleisen and Philippa Gardner (Eds.). Springer , 330\u2013349. https:\/\/doi.org\/10.1007\/978-3-642-37036-6_19 10.1007\/978-3-642-37036-6_19 Lu\u00eds Caires, Jorge\u00a0A. P\u00e9rez, Frank Pfenning, and Bernardo Toninho. 2013. Behavioral Polymorphism and Parametricity in Session-Based Communication. In ESOP(LNCS, Vol.\u00a07792), Matthias Felleisen and Philippa Gardner (Eds.). Springer, 330\u2013349. https:\/\/doi.org\/10.1007\/978-3-642-37036-6_19"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016","author":"Oliveira C. d.","year":"2016","unstructured":"Bruno\u00a0 C. d. S.\u00a0 Oliveira , Zhiyuan Shi , and Jo\u00e3o Alpuim . 2016 . Disjoint Intersection Types . In Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016 , Nara, Japan , September 18-22, 2016, Jacques Garrigue, Gabriele Keller, and Eijiro Sumii (Eds.). ACM, 364\u2013377. https:\/\/doi.org\/10.1145\/2951913.2951945 10.1145\/2951913.2951945 Bruno\u00a0C. d. S.\u00a0Oliveira, Zhiyuan Shi, and Jo\u00e3o Alpuim. 2016. Disjoint Intersection Types. In Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016, Jacques Garrigue, Gabriele Keller, and Eijiro Sumii (Eds.). ACM, 364\u2013377. https:\/\/doi.org\/10.1145\/2951913.2951945"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2017.06.002"},{"key":"e_1_3_2_1_10_1","volume-title":"Logical Step-Indexed Logical Relations. Log. Methods Comput. Sci. 7, 2","author":"Dreyer Derek","year":"2011","unstructured":"Derek Dreyer , Amal Ahmed , and Lars Birkedal . 2011. Logical Step-Indexed Logical Relations. Log. Methods Comput. Sci. 7, 2 ( 2011 ). https:\/\/doi.org\/10.2168\/LMCS-7(2:16)2011 10.2168\/LMCS-7(2:16)2011 Derek Dreyer, Amal Ahmed, and Lars Birkedal. 2011. Logical Step-Indexed Logical Relations. Log. Methods Comput. Sci. 7, 2 (2011). https:\/\/doi.org\/10.2168\/LMCS-7(2:16)2011"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155113"},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. ACM Program. Lang. 3, POPL","author":"Fowler Simon","year":"2019","unstructured":"Simon Fowler , Sam Lindley , J.\u00a0 Garrett Morris , and S\u00e1ra Decova . 2019 . Exceptional Asynchronous Session Types: Session Types Without Tiers . Proc. ACM Program. Lang. 3, POPL (2019), 28:1\u201328:29. https:\/\/doi.org\/10.1145\/3290341 10.1145\/3290341 Simon Fowler, Sam Lindley, J.\u00a0Garrett Morris, and S\u00e1ra Decova. 2019. Exceptional Asynchronous Session Types: Session Types Without Tiers. Proc. ACM Program. Lang. 3, POPL (2019), 28:1\u201328:29. https:\/\/doi.org\/10.1145\/3290341"},{"key":"#cr-split#-e_1_3_2_1_13_1.1","doi-asserted-by":"crossref","unstructured":"Simon Gay and Ant\u00f3nio Ravara (Eds.). 2017. Behavioural Types: from Theory to Tools. River Publishers. https:\/\/doi.org\/10.13052\/rp-9788793519817 10.13052\/rp-9788793519817","DOI":"10.13052\/rp-9788793519817"},{"key":"#cr-split#-e_1_3_2_1_13_1.2","doi-asserted-by":"crossref","unstructured":"Simon Gay and Ant\u00f3nio Ravara (Eds.). 2017. Behavioural Types: from Theory to Tools. River Publishers. https:\/\/doi.org\/10.13052\/rp-9788793519817","DOI":"10.13052\/rp-9788793519817"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129508006944"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809990268"},{"key":"e_1_3_2_1_16_1","volume-title":"Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages","author":"Harper Robert","year":"1991","unstructured":"Robert Harper and Benjamin\u00a0 C. Pierce . 1991 . A Record Calculus Based on Symmetric Concatenation . In Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages , Orlando, Florida, USA , January 21-23, 1991, David\u00a0S. Wise (Ed.). ACM Press, 131\u2013142. https:\/\/doi.org\/10.1145\/99583.99603 10.1145\/99583.99603 Robert Harper and Benjamin\u00a0C. Pierce. 1991. A Record Calculus Based on Symmetric Concatenation. In Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, Orlando, Florida, USA, January 21-23, 1991, David\u00a0S. Wise (Ed.). ACM Press, 131\u2013142. https:\/\/doi.org\/10.1145\/99583.99603"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3437992.3439914"},{"key":"e_1_3_2_1_18_1","volume-title":"4th International Conference on Concurrency Theory","author":"Honda Kohei","year":"1993","unstructured":"Kohei Honda . 1993 . Types for Dyadic Interaction. In CONCUR \u201993 , 4th International Conference on Concurrency Theory , Hildesheim, Germany , August 23-26, 1993, Proceedings(Lecture Notes in Computer Science, Vol.\u00a0715), Eike Best (Ed.). Springer, 509\u2013523. https:\/\/doi.org\/10.1007\/3-540-57208-2_35 10.1007\/3-540-57208-2_35 Kohei Honda. 1993. Types for Dyadic Interaction. In CONCUR \u201993, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings(Lecture Notes in Computer Science, Vol.\u00a0715), Eike Best (Ed.). Springer, 509\u2013523. https:\/\/doi.org\/10.1007\/3-540-57208-2_35"},{"key":"e_1_3_2_1_19_1","volume-title":"ECOOP 2010 - Object-Oriented Programming, 24th European Conference","author":"Hu Raymond","year":"2010","unstructured":"Raymond Hu , Dimitrios Kouzapas , Olivier Pernet , Nobuko Yoshida , and Kohei Honda . 2010. Type-Safe Eventful Sessions in Java . In ECOOP 2010 - Object-Oriented Programming, 24th European Conference , Maribor, Slovenia, June 21-25, 2010 . Proceedings(Lecture Notes in Computer Science, Vol.\u00a06183), Theo D\u2019Hondt (Ed.). Springer , 329\u2013353. https:\/\/doi.org\/10.1007\/978-3-642-14107-2_16 10.1007\/978-3-642-14107-2_16 Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, and Kohei Honda. 2010. Type-Safe Eventful Sessions in Java. In ECOOP 2010 - Object-Oriented Programming, 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings(Lecture Notes in Computer Science, Vol.\u00a06183), Theo D\u2019Hondt (Ed.). Springer, 329\u2013353. https:\/\/doi.org\/10.1007\/978-3-642-14107-2_16"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49665-7_24"},{"key":"e_1_3_2_1_21_1","volume-title":"Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49, 1","author":"H\u00fcttel Hans","year":"2016","unstructured":"Hans H\u00fcttel , Ivan Lanese , Vasco\u00a0 T. Vasconcelos , Lu\u00eds Caires , Marco Carbone , Pierre-Malo Deni\u00e9lou , Dimitris Mostrous , Luca Padovani , Ant\u00f3nio Ravara , Emilio Tuosto , Hugo\u00a0Torres Vieira , and Gianluigi Zavattaro . 2016. Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49, 1 ( 2016 ), 3:1\u20133:36. https:\/\/doi.org\/10.1145\/2873052 10.1145\/2873052 Hans H\u00fcttel, Ivan Lanese, Vasco\u00a0T. Vasconcelos, Lu\u00eds Caires, Marco Carbone, Pierre-Malo Deni\u00e9lou, Dimitris Mostrous, Luca Padovani, Ant\u00f3nio Ravara, Emilio Tuosto, Hugo\u00a0Torres Vieira, and Gianluigi Zavattaro. 2016. Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49, 1 (2016), 3:1\u20133:36. https:\/\/doi.org\/10.1145\/2873052"},{"key":"e_1_3_2_1_22_1","volume-title":"Behavioural Types: from Theory to Tools, Simon Gay and Ant\u00f3nio Ravara (Eds.)","author":"Lindley Sam","unstructured":"Sam Lindley and J.\u00a0 Garrett Morris . 2017. Lightweight Functional Session Types . In Behavioural Types: from Theory to Tools, Simon Gay and Ant\u00f3nio Ravara (Eds.) . River Publishers . Extended version at https:\/\/homepages.inf.ed.ac.uk\/slindley\/papers\/fst-extended.pdf. Sam Lindley and J.\u00a0Garrett Morris. 2017. Lightweight Functional Session Types. In Behavioural Types: from Theory to Tools, Simon Gay and Ant\u00f3nio Ravara (Eds.). River Publishers. Extended version at https:\/\/homepages.inf.ed.ac.uk\/slindley\/papers\/fst-extended.pdf."},{"key":"e_1_3_2_1_23_1","volume-title":"Proc. ACM Program. Lang. 3, POPL","author":"J.","year":"2019","unstructured":"J. \u00a0Garrett Morris and James McKinna. 2019. Abstracting Extensible Data Types: or, Rows by Any Other Name . Proc. ACM Program. Lang. 3, POPL ( 2019 ), 12:1\u201312:28. https:\/\/doi.org\/10.1145\/3290325 10.1145\/3290325 J.\u00a0Garrett Morris and James McKinna. 2019. Abstracting Extensible Data Types: or, Rows by Any Other Name. Proc. ACM Program. Lang. 3, POPL (2019), 12:1\u201312:28. https:\/\/doi.org\/10.1145\/3290325"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796816000289"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2014.08.001"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008","author":"Pucella Riccardo","year":"2008","unstructured":"Riccardo Pucella and Jesse\u00a0 A. Tov . 2008 . Haskell Session Types With (Almost) no Class . In Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008 , Victoria, BC, Canada , 25 September 2008, Andy Gill (Ed.). ACM, 25\u201336. https:\/\/doi.org\/10.1145\/1411286.1411290 10.1145\/1411286.1411290 Riccardo Pucella and Jesse\u00a0A. Tov. 2008. Haskell Session Types With (Almost) no Class. In Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008, Andy Gill (Ed.). ACM, 25\u201336. https:\/\/doi.org\/10.1145\/1411286.1411290"},{"key":"e_1_3_2_1_27_1","volume-title":"Separation Logic: A Logic for Shared Mutable Data Structures. In 17th IEEE Symposium on Logic in Computer Science (LICS","author":"Reynolds C.","year":"2002","unstructured":"John\u00a0 C. Reynolds . 2002 . Separation Logic: A Logic for Shared Mutable Data Structures. In 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings . IEEE Computer Society , 55\u201374. https:\/\/doi.org\/10.1109\/LICS.2002.1029817 10.1109\/LICS.2002.1029817 John\u00a0C. Reynolds. 2002. Separation Logic: A Logic for Shared Mutable Data Structures. In 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings. IEEE Computer Society, 55\u201374. https:\/\/doi.org\/10.1109\/LICS.2002.1029817"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010","author":"Rondon Patrick\u00a0Maxim","year":"2010","unstructured":"Patrick\u00a0Maxim Rondon , Ming Kawaguchi , and Ranjit Jhala . 2010 . Low-Level Liquid Types . In Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010 , Madrid, Spain , January 17-23, 2010, Manuel\u00a0V. Hermenegildo and Jens Palsberg (Eds.). ACM, 131\u2013144. https:\/\/doi.org\/10.1145\/1706299.1706316 10.1145\/1706299.1706316 Patrick\u00a0Maxim Rondon, Ming Kawaguchi, and Ranjit Jhala. 2010. Low-Level Liquid Types. In Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, Manuel\u00a0V. Hermenegildo and Jens Palsberg (Eds.). ACM, 131\u2013144. https:\/\/doi.org\/10.1145\/1706299.1706316"},{"key":"e_1_3_2_1_29_1","volume-title":"Session Types in Haskell Updating Message Passing for the 21st Century. (2008). https:\/\/spiral.imperial.ac.uk:8443\/handle\/10044\/1\/5918","author":"Sackman Matthew","unstructured":"Matthew Sackman and Susan Eisenbach . 2008. Session Types in Haskell Updating Message Passing for the 21st Century. (2008). https:\/\/spiral.imperial.ac.uk:8443\/handle\/10044\/1\/5918 . Matthew Sackman and Susan Eisenbach. 2008. Session Types in Haskell Updating Message Passing for the 21st Century. (2008). https:\/\/spiral.imperial.ac.uk:8443\/handle\/10044\/1\/5918."},{"key":"e_1_3_2_1_30_1","volume-title":"Polymorphic Typestate for Session Types. CoRR abs\/2210.17335","author":"Saffrich Hannes","year":"2022","unstructured":"Hannes Saffrich and Peter Thiemann . 2022. Polymorphic Typestate for Session Types. CoRR abs\/2210.17335 ( 2022 ). https:\/\/doi.org\/10.48550\/arXiv.2210.17335 arXiv:2210.17335 10.48550\/arXiv.2210.17335 Hannes Saffrich and Peter Thiemann. 2022. Polymorphic Typestate for Session Types. CoRR abs\/2210.17335 (2022). https:\/\/doi.org\/10.48550\/arXiv.2210.17335 arXiv:2210.17335"},{"key":"e_1_3_2_1_31_1","volume-title":"Relating Functional and Imperative Session Types. Log. Methods Comput. Sci. 18, 3","author":"Saffrich Hannes","year":"2022","unstructured":"Hannes Saffrich and Peter Thiemann . 2022. Relating Functional and Imperative Session Types. Log. Methods Comput. Sci. 18, 3 ( 2022 ). https:\/\/doi.org\/10.46298\/lmcs-18(3:33)2022 10.46298\/lmcs-18(3:33)2022 Hannes Saffrich and Peter Thiemann. 2022. Relating Functional and Imperative Session Types. Log. Methods Comput. Sci. 18, 3 (2022). https:\/\/doi.org\/10.46298\/lmcs-18(3:33)2022"},{"key":"e_1_3_2_1_32_1","volume-title":"Lightweight Session Programming in Scala. In 30th European Conference on Object-Oriented Programming, ECOOP 2016","author":"Scalas Alceste","year":"2016","unstructured":"Alceste Scalas and Nobuko Yoshida . 2016 . Lightweight Session Programming in Scala. In 30th European Conference on Object-Oriented Programming, ECOOP 2016 , July 18-22, 2016, Rome, Italy(LIPIcs, Vol.\u00a056), Shriram Krishnamurthi and Benjamin\u00a0S. Lerner (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 21:1\u201321:28. https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP. 2016.21 10.4230\/LIPIcs.ECOOP.2016.21 Alceste Scalas and Nobuko Yoshida. 2016. Lightweight Session Programming in Scala. In 30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy(LIPIcs, Vol.\u00a056), Shriram Krishnamurthi and Benjamin\u00a0S. Lerner (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 21:1\u201321:28. https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2016.21"},{"key":"e_1_3_2_1_33_1","volume-title":"Programming Languages and Systems, 9th European Symposium on Programming, ESOP","author":"Smith Frederick","year":"2000","unstructured":"Frederick Smith , David Walker , and J.\u00a0 Gregory Morrisett . 2000. Alias Types . In Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000 , Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings(Lecture Notes in Computer Science, Vol.\u00a01782), Gert Smolka (Ed.). Springer , 366\u2013381. https:\/\/doi.org\/10.1007\/3-540-46425-5_24 10.1007\/3-540-46425-5_24 Frederick Smith, David Walker, and J.\u00a0Gregory Morrisett. 2000. Alias Types. In Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings(Lecture Notes in Computer Science, Vol.\u00a01782), Gert Smolka (Ed.). Springer, 366\u2013381. https:\/\/doi.org\/10.1007\/3-540-46425-5_24"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"key":"e_1_3_2_1_35_1","volume-title":"6th International PARLE Conference","author":"Takeuchi Kaku","year":"1994","unstructured":"Kaku Takeuchi , Kohei Honda , and Makoto Kubo . 1994 . An Interaction-based Language and its Typing System. In PARLE \u201994: Parallel Architectures and Languages Europe , 6th International PARLE Conference , Athens, Greece , July 4-8, 1994, Proceedings(Lecture Notes in Computer Science, Vol.\u00a0817), Constantine Halatsis, Dimitris\u00a0G. Maritsas, George Philokyprou, and Sergios Theodoridis (Eds.). Springer, 398\u2013413. https:\/\/doi.org\/10.1007\/3-540-58184-7_118 10.1007\/3-540-58184-7_118 Kaku Takeuchi, Kohei Honda, and Makoto Kubo. 1994. An Interaction-based Language and its Typing System. In PARLE \u201994: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings(Lecture Notes in Computer Science, Vol.\u00a0817), Constantine Halatsis, Dimitris\u00a0G. Maritsas, George Philokyprou, and Sergios Theodoridis (Eds.). Springer, 398\u2013413. https:\/\/doi.org\/10.1007\/3-540-58184-7_118"},{"key":"e_1_3_2_1_36_1","volume-title":"The polymorphic Pi-calculus : theory and implementation. Ph.\u00a0D. Dissertation","author":"Turner N.","year":"1842","unstructured":"David\u00a0 N. Turner . 1996. The polymorphic Pi-calculus : theory and implementation. Ph.\u00a0D. Dissertation . University of Edinburgh , UK. http:\/\/hdl.handle.net\/ 1842 \/395 David\u00a0N. Turner. 1996. The polymorphic Pi-calculus : theory and implementation. Ph.\u00a0D. Dissertation. University of Edinburgh, UK. http:\/\/hdl.handle.net\/1842\/395"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.06.028"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679681400001X"},{"key":"e_1_3_2_1_39_1","volume-title":"34th European Conference on Object-Oriented Programming, ECOOP 2020","author":"Xie Ningning","year":"2020","unstructured":"Ningning Xie , Bruno\u00a0 C. d. S.\u00a0 Oliveira , Xuan Bi , and Tom Schrijvers . 2020 . Row and Bounded Polymorphism via Disjoint Polymorphism . In 34th European Conference on Object-Oriented Programming, ECOOP 2020 , July, 2020, Potsdam, Germany(LIPIcs, Vol.\u00a0109), Robert Hirschfeld (Ed.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 27:1\u201327:29. https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP. 2020.27 10.4230\/LIPIcs.ECOOP.2020.27 Ningning Xie, Bruno\u00a0C. d. S.\u00a0Oliveira, Xuan Bi, and Tom Schrijvers. 2020. Row and Bounded Polymorphism via Disjoint Polymorphism. In 34th European Conference on Object-Oriented Programming, ECOOP 2020, July, 2020, Potsdam, Germany(LIPIcs, Vol.\u00a0109), Robert Hirschfeld (Ed.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 27:1\u201327:29. https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2020.27"}],"event":{"name":"PPDP 2023: International Symposium on Principles and Practice of Declarative Programming","location":"Lisboa Portugal","acronym":"PPDP 2023"},"container-title":["International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3610612.3610624","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:00Z","timestamp":1750178160000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3610612.3610624"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,22]]},"references-count":41,"alternative-id":["10.1145\/3610612.3610624","10.1145\/3610612"],"URL":"https:\/\/doi.org\/10.1145\/3610612.3610624","relation":{},"subject":[],"published":{"date-parts":[[2023,10,22]]},"assertion":[{"value":"2023-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}