{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:01:47Z","timestamp":1750309307071,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"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\/3618305.3623594","type":"proceedings-article","created":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T13:36:31Z","timestamp":1697722591000},"page":"22-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Partial Gradual Dependent Type Theory"],"prefix":"10.1145","author":[{"given":"Zhan","family":"Shi","sequence":"first","affiliation":[{"name":"Kyoto University, Kyoto, Japan"}]}],"member":"320","published-online":{"date-parts":[[2023,10,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"In Proceedings of the 1992 Workshop on Types for Proofs and Programs, Bengt Nordstr\u00f6m, Kent Pettersson, and Gordon Plotkin (Eds.)","author":"Coquand Thierry","year":"1992","unstructured":"Thierry Coquand . 1992 . Pattern matching with dependent types . In In Proceedings of the 1992 Workshop on Types for Proofs and Programs, Bengt Nordstr\u00f6m, Kent Pettersson, and Gordon Plotkin (Eds.) . B\u00e5stad, Sweden. 71\u201383. Thierry Coquand. 1992. Pattern matching with dependent types. In In Proceedings of the 1992 Workshop on Types for Proofs and Programs, Bengt Nordstr\u00f6m, Kent Pettersson, and Gordon Plotkin (Eds.). B\u00e5stad, Sweden. 71\u201383."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90066-B"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341692"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11780274_27"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408983"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3495528"},{"key":"e_1_3_2_1_7_1","unstructured":"Martin-L\u00f6f. 1984. Intuitionistic type theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua. Bibliopolis Naples Padua. \t\t\t\t  Martin-L\u00f6f. 1984. Intuitionistic type theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua. Bibliopolis Naples Padua."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236768"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371126"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73589-2_2"}],"event":{"name":"SPLASH '23: 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"],"location":"Cascais Portugal","acronym":"SPLASH '23"},"container-title":["Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3618305.3623594","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:46Z","timestamp":1750291426000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3618305.3623594"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,22]]},"references-count":10,"alternative-id":["10.1145\/3618305.3623594","10.1145\/3618305"],"URL":"https:\/\/doi.org\/10.1145\/3618305.3623594","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"}}]}}