{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T00:44:42Z","timestamp":1775868282707,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,9,4]],"date-time":"2016-09-04T00:00:00Z","timestamp":1472947200000},"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":[[2016,9,4]]},"DOI":"10.1145\/2951913.2951926","type":"proceedings-article","created":{"date-parts":[[2016,8,29]],"date-time":"2016-08-29T08:17:16Z","timestamp":1472458636000},"page":"462-475","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":32,"title":["Context-free session types"],"prefix":"10.1145","author":[{"given":"Peter","family":"Thiemann","sequence":"first","affiliation":[{"name":"University of Freiburg, Germany"}]},{"given":"Vasco T.","family":"Vasconcelos","sequence":"additional","affiliation":[{"name":"University of Lisbon, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2016,9,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/147508.147527"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/174130.174141"},{"key":"e_1_3_2_1_3_1","volume-title":"Using higher-order contracts to model session types. Logical Methods in Computer Science, 12(2:10):1\u201343","author":"Bernardi G.","year":"2016","unstructured":"G. Bernardi and M. Hennessy . Using higher-order contracts to model session types. Logical Methods in Computer Science, 12(2:10):1\u201343 , 2016 . G. Bernardi and M. Hennessy. Using higher-order contracts to model session types. Logical Methods in Computer Science, 12(2:10):1\u201343, 2016."},{"key":"e_1_3_2_1_4_1","series-title":"LNCS","first-page":"98","volume-title":"FORTE","author":"Bono V.","unstructured":"V. Bono , L. Padovani , and A. Tosatto . Polymorphic types for leak detection in a session-oriented functional language . In FORTE , volume 7892 of LNCS , pages 83\u2013 98 . Springer, 2013. V. Bono, L. Padovani, and A. Tosatto. Polymorphic types for leak detection in a session-oriented functional language. In FORTE, volume 7892 of LNCS, pages 83\u201398. Springer, 2013."},{"key":"e_1_3_2_1_5_1","series-title":"LNCS","first-page":"236","volume-title":"CONCUR","author":"Caires L.","unstructured":"L. Caires and F. Pfenning . Session types as intuitionistic linear propositions . In CONCUR , volume 6269 of LNCS , pages 222\u2013 236 . Springer, 2010. L. Caires and F. Pfenning. Session types as intuitionistic linear propositions. In CONCUR, volume 6269 of LNCS, pages 222\u2013236. Springer, 2010."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2220365.2220367"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1129"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90059-2"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129508006944"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/2697442.2697675"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809990268"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706335"},{"key":"e_1_3_2_1_13_1","series-title":"LNCS","first-page":"523","volume-title":"CONCUR","author":"Honda K.","unstructured":"K. Honda . Types for dyadic interaction . In CONCUR , volume 715 of LNCS , pages 509\u2013 523 . Springer, 1993. K. Honda. Types for dyadic interaction. In CONCUR, volume 715 of LNCS, pages 509\u2013523. Springer, 1993."},{"key":"e_1_3_2_1_14_1","series-title":"LNCS","first-page":"138","volume-title":"ESOP","author":"Honda K.","unstructured":"K. Honda , V. T. Vasconcelos , and M. Kubo . Language primitives and type discipline for structured communication-based programming . In ESOP , volume 1381 of LNCS , pages 122\u2013 138 . Springer, 1998. K. Honda, V. T. Vasconcelos, and M. Kubo. Language primitives and type discipline for structured communication-based programming. In ESOP, volume 1381 of LNCS, pages 122\u2013138. Springer, 1998."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328472"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2873052"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2010.10.001"},{"key":"e_1_3_2_1_18_1","volume-title":"Types and Programming Languages","author":"Pierce B. C.","year":"2002","unstructured":"B. C. Pierce . Types and Programming Languages . MIT Press , 2002 . B. C. Pierce. Types and Programming Languages. MIT Press, 2002."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113470"},{"key":"e_1_3_2_1_20_1","volume-title":"An Introduction to Bisimulation and Coinduction","author":"Sangiorgi D.","year":"2014","unstructured":"D. Sangiorgi . An Introduction to Bisimulation and Coinduction . Cambridge University Press , 2014 . ISBN 9781139161381. D. Sangiorgi. An Introduction to Bisimulation and Coinduction. Cambridge University Press, 2014. ISBN 9781139161381."},{"key":"e_1_3_2_1_21_1","series-title":"LNCS","first-page":"413","volume-title":"PARLE","author":"Takeuchi K.","unstructured":"K. Takeuchi , K. Honda , and M. Kubo . An interaction-based language and its typing system . In PARLE , volume 817 of LNCS , pages 398\u2013 413 . Springer, 1994. K. Takeuchi, K. Honda, and M. Kubo. An interaction-based language and its typing system. In PARLE, volume 817 of LNCS, pages 398\u2013 413. Springer, 1994."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_20"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679681400001X"},{"key":"e_1_3_2_1_24_1","volume-title":"MIT Press","author":"Walker D.","year":"2005","unstructured":"D. Walker . Advanced Topics in Types and Programming Languages, chapter Substructural Type Systems . MIT Press , 2005 . D. Walker. Advanced Topics in Types and Programming Languages, chapter Substructural Type Systems. MIT Press, 2005."}],"event":{"name":"ICFP'16: ACM SIGPLAN International Conference on Functional Programming","location":"Nara Japan","acronym":"ICFP'16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2951913.2951926","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2951913.2951926","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:39:37Z","timestamp":1750203577000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2951913.2951926"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,4]]},"references-count":24,"alternative-id":["10.1145\/2951913.2951926","10.1145\/2951913"],"URL":"https:\/\/doi.org\/10.1145\/2951913.2951926","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3022670.2951926","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,9,4]]},"assertion":[{"value":"2016-09-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}