{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:18:29Z","timestamp":1750220309182,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":4,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,17]],"date-time":"2021-10-17T00:00:00Z","timestamp":1634428800000},"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":[[2021,10,17]]},"DOI":"10.1145\/3484271.3484979","type":"proceedings-article","created":{"date-parts":[[2021,10,16]],"date-time":"2021-10-16T00:09:44Z","timestamp":1634342984000},"page":"25-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards decidable and expressive DOT"],"prefix":"10.1145","author":[{"given":"Sophia","family":"Roshal","sequence":"first","affiliation":[{"name":"Cornell University, USA \/ Carnegie Mellon University, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,10,17]]},"reference":[{"volume-title":"A List of Successes That Can Change the World","author":"Amin Nada","key":"e_1_3_2_1_1_1","unstructured":"Nada Amin , Samuel Gr\u00fctter , Martin Odersky , Tiark Rompf , and Sandro Stucki . 2016. The essence of dependent object types . In A List of Successes That Can Change the World . Springer , 249\u2013272. Nada Amin, Samuel Gr\u00fctter, Martin Odersky, Tiark Rompf, and Sandro Stucki. 2016. The essence of dependent object types. In A List of Successes That Can Change the World. Springer, 249\u2013272."},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the ACM on Programming Languages, 4, POPL","author":"Mackay Julian","year":"2019","unstructured":"Julian Mackay , Alex Potanin , Jonathan Aldrich , and Lindsay Groves . 2019 . Decidable subtyping for path dependent types . Proceedings of the ACM on Programming Languages, 4, POPL (2019), 1\u201327. Julian Mackay, Alex Potanin, Jonathan Aldrich, and Lindsay Groves. 2019. Decidable subtyping for path dependent types. Proceedings of the ACM on Programming Languages, 4, POPL (2019), 1\u201327."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2489828.2489830"},{"volume-title":"Nominal wyvern: Employing semantic separation for usability. Ph. D. Dissertation","author":"Zhu Yu Xiang","key":"e_1_3_2_1_4_1","unstructured":"Yu Xiang Zhu . 2019. Nominal wyvern: Employing semantic separation for usability. Ph. D. Dissertation . Victoria University of Wellington , NZ. Yu Xiang Zhu. 2019. Nominal wyvern: Employing semantic separation for usability. Ph. D. Dissertation. Victoria University of Wellington, NZ."}],"event":{"name":"SPLASH '21: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Chicago IL USA","acronym":"SPLASH '21"},"container-title":["Companion Proceedings of the 2021 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3484271.3484979","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3484271.3484979","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:11:41Z","timestamp":1750191101000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3484271.3484979"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,17]]},"references-count":4,"alternative-id":["10.1145\/3484271.3484979","10.1145\/3484271"],"URL":"https:\/\/doi.org\/10.1145\/3484271.3484979","relation":{},"subject":[],"published":{"date-parts":[[2021,10,17]]},"assertion":[{"value":"2021-10-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}