{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:03:47Z","timestamp":1760043827325,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,8,30]],"date-time":"2023-08-30T00:00:00Z","timestamp":1693353600000},"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,8,30]]},"DOI":"10.1145\/3609027.3609406","type":"proceedings-article","created":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T17:09:09Z","timestamp":1693501749000},"page":"29-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Infix-Extensible Record Types for Tabular Data"],"prefix":"10.1145","author":[{"given":"Adam","family":"Paszke","sequence":"first","affiliation":[{"name":"Google DeepMind, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ningning","family":"Xie","sequence":"additional","affiliation":[{"name":"Google DeepMind, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,8,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0040253"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806612"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500582"},{"key":"e_1_3_2_1_4_1","volume-title":"Jones","author":"Gaster Benedict R.","year":"1996","unstructured":"Benedict R. Gaster and Mark P. Jones. 1996. A Polymorphic Type System for Extensible Records and Variants. Department of Computer Science, University of Nottingham."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99603"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3140587.3062354"},{"volume-title":"Qualified types: theory and practice","author":"Jones Mark P","key":"e_1_3_2_1_7_1","unstructured":"Mark P Jones. 2003. Qualified types: theory and practice. Cambridge University Press. isbn:9780521543262"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006034"},{"volume-title":"First-class labels for extensible rows","author":"Leijen Daan","key":"e_1_3_2_1_9_1","unstructured":"Daan Leijen. 2004. First-class labels for extensible rows. Institute of Information and Computing Sciences, Utrecht University."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 2005 Symposium on Trends in Functional Programming (TFP\u201905), Tallin, Estonia (proceedings of the 2005 symposium on trends in functional programming (tfp\u201905)","author":"Leijen Daan","year":"2005","unstructured":"Daan Leijen. 2005. Extensible records with scoped labels. In Proceedings of the 2005 Symposium on Trends in Functional Programming (TFP\u201905), Tallin, Estonia (proceedings of the 2005 symposium on trends in functional programming (tfp\u201905), tallin, estonia ed.). https:\/\/www.microsoft.com\/en-us\/research\/publication\/extensible-records-with-scoped-labels\/"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.22152\/programming-journal.org"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290325"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/62678.62700"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3473593"},{"volume-title":"Advanced Topics in Types and Programming Languages","author":"Pottier Fran\u00e7ois","key":"e_1_3_2_1_15_1","unstructured":"Fran\u00e7ois Pottier and Didier R\u00e9my. 2005. The essence of ML type inference. In Advanced Topics in Types and Programming Languages. The MIT Press. isbn:0262162288"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/143165.143202"},{"key":"e_1_3_2_1_17_1","volume-title":"Type Inference for Records in Natural Extension of ML","author":"R\u00e9my Didier","year":"2071","unstructured":"Didier R\u00e9my. 1994. Type Inference for Records in Natural Extension of ML. MIT Press, Cambridge, MA, USA. 67\u201395. isbn:026207155X"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796811000098"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99404"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90050-C"},{"key":"e_1_3_2_1_21_1","volume-title":"Idris2-Table: evaluating dependently-typed tables with the Brown Benchmark for Table Types (Extended Abstract). TyDe","author":"Wright Robert","year":"2022","unstructured":"Robert Wright, Michel Steuwer, and Ohad Kammar. 2022. Idris2-Table: evaluating dependently-typed tables with the Brown Benchmark for Table Types (Extended Abstract). TyDe 2022."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2020.27"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371121"}],"event":{"name":"TyDe '23: 8th ACM SIGPLAN International Workshop on Type-Driven Development","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Seattle WA USA","acronym":"TyDe '23"},"container-title":["Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3609027.3609406","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3609027.3609406","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:58Z","timestamp":1750182538000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3609027.3609406"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,30]]},"references-count":23,"alternative-id":["10.1145\/3609027.3609406","10.1145\/3609027"],"URL":"https:\/\/doi.org\/10.1145\/3609027.3609406","relation":{},"subject":[],"published":{"date-parts":[[2023,8,30]]},"assertion":[{"value":"2023-08-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}