{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T05:06:14Z","timestamp":1784351174489,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,1,11]],"date-time":"2016-01-11T00:00:00Z","timestamp":1452470400000},"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,1,11]]},"DOI":"10.1145\/2837614.2837662","type":"proceedings-article","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T09:05:00Z","timestamp":1452157500000},"page":"582-594","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Monitors and blame assignment for higher-order session types"],"prefix":"10.1145","author":[{"given":"Limin","family":"Jia","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hannah","family":"Gommerstadt","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Frank","family":"Pfenning","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2016,1,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926409"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38592-6_5"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1887654.1887670"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103788"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2008.11.006"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30065-3_2"},{"key":"e_1_3_2_1_7_1","volume-title":"21st Conference on Computer Science Logic (CSL 2012)","author":"DeYoung H.","year":"2012","unstructured":"H. DeYoung , L. Caires , F. Pfenning , and B. Toninho . Cut reduction in linear logic as asynchronous session-typed communication . In 21st Conference on Computer Science Logic (CSL 2012) , 2012 . H. DeYoung, L. Caires, F. Pfenning, and B. Toninho. Cut reduction in linear logic as asynchronous session-typed communication. In 21st Conference on Computer Science Logic (CSL 2012), 2012."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926410"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_11"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034800"},{"key":"e_1_3_2_1_11_1","volume-title":"13th International Symposium on Trends in Functional Programming (TFP 2012)","author":"Fennell L.","year":"2012","unstructured":"L. Fennell and P. Thiemann . The blame theorem for a linear lambda calculus with type dynamic . In 13th International Symposium on Trends in Functional Programming (TFP 2012) , 2012 . L. Fennell and P. Thiemann. The blame theorem for a linear lambda calculus with type dynamic. In 13th International Symposium on Trends in Functional Programming (TFP 2012), 2012."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/583852.581484"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38088-4_13"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/646728.703349"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/645392.651876"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784737"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/645894.671771"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2014.08.001"},{"key":"e_1_3_2_1_20_1","volume-title":"2nd Asian Symposium on Programming Languages and Systems (APLAS","author":"Pfenning F.","year":"2004","unstructured":"F. Pfenning . Substructural operational semantics and linear destinationpassing style. In 2nd Asian Symposium on Programming Languages and Systems (APLAS 2004 ), 2004. Abstract of invited talk. F. Pfenning and D. Griffith. Polarized substructural session types. In 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015), 2015. Invited talk. F. Pfenning, L. Caires, and B. Toninho. Proof-carrying code in a sessiontyped process calculus. In 1st International Conference on Certified Programs and Proofs (CPP 2011), 2011. F. Pfenning. Substructural operational semantics and linear destinationpassing style. In 2nd Asian Symposium on Programming Languages and Systems (APLAS 2004), 2004. Abstract of invited talk. F. Pfenning and D. Griffith. Polarized substructural session types. In 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015), 2015. Invited talk. F. Pfenning, L. Caires, and B. Toninho. Proof-carrying code in a sessiontyped process calculus. In 1st International Conference on Certified Programs and Proofs (CPP 2011), 2011."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737968"},{"key":"e_1_3_2_1_23_1","volume-title":"Session Types with Gradual Typing. In 9th International Symposium on Trustworthy Global Computing (TGC 2014","author":"Thiemann P.","year":"2014","unstructured":"P. Thiemann . Session Types with Gradual Typing. In 9th International Symposium on Trustworthy Global Computing (TGC 2014 ). 2014 . P. Thiemann. Session Types with Gradual Typing. In 9th International Symposium on Trustworthy Global Computing (TGC 2014). 2014."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_20"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364568"},{"key":"e_1_3_2_1_26_1","volume-title":"1st Summit on Advances in Programming Languages (SNAPL 2015)","author":"Wadler P.","year":"2015","unstructured":"P. Wadler . A Complement to Blame . In 1st Summit on Advances in Programming Languages (SNAPL 2015) , 2015 . P. Wadler. A Complement to Blame. In 1st Summit on Advances in Programming Languages (SNAPL 2015), 2015."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_1"}],"event":{"name":"POPL '16: The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"St. Petersburg FL USA","acronym":"POPL '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2837614.2837662","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2837614.2837662","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:43:38Z","timestamp":1750211018000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2837614.2837662"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,11]]},"references-count":25,"alternative-id":["10.1145\/2837614.2837662","10.1145\/2837614"],"URL":"https:\/\/doi.org\/10.1145\/2837614.2837662","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2914770.2837662","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,1,11]]},"assertion":[{"value":"2016-01-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}