{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T12:50:34Z","timestamp":1790945434158,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,6,2]],"date-time":"2016-06-02T00:00:00Z","timestamp":1464825600000},"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,6,2]]},"DOI":"10.1145\/2908080.2908115","type":"proceedings-article","created":{"date-parts":[[2016,6,2]],"date-time":"2016-06-02T15:23:42Z","timestamp":1464881022000},"page":"477-490","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Types from data: making structured data first-class citizens in F#"],"prefix":"10.1145","author":[{"given":"Tomas","family":"Petricek","sequence":"first","affiliation":[{"name":"University of Cambridge, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gustavo","family":"Guerra","sequence":"additional","affiliation":[{"name":"Microsoft, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Don","family":"Syme","sequence":"additional","affiliation":[{"name":"Microsoft Research, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2016,6,2]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"52","volume-title":"Mathematical Foundations of Programming Semantics","author":"Cardelli L."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1809028.1806612"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2502488.2502495"},{"key":"e_1_3_2_1_4_1","volume-title":"Typing Massive JSON Datasets. In International Workshop on Cross-model Language Design and Implementation, XLDI \u201912","author":"Colazzo D.","year":"2012"},{"key":"e_1_3_2_1_5_1","first-page":"296","volume-title":"Formal Methods for Components and Objects","author":"Cooper E."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1900160.1900167"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065046"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328488"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/767193.767195"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/320385.320395"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190215.1190231"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of Vienna Summer of Logic, VSL\u201914","author":"Mehnert H.","year":"2014"},{"key":"e_1_3_2_1_13_1","first-page":"166","volume-title":"Workshop on Declarative Programming in the Context of Object-Oriented Languages","author":"Meijer E.","year":"2003"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142473.1142552"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"R. Milner. The Definition of Standard ML: Revised. MIT press 1997.   R. Milner. The Definition of Standard ML: Revised. MIT press 1997.","DOI":"10.7551\/mitpress\/2319.001.0001"},{"key":"e_1_3_2_1_16_1","volume-title":"the Age of Web: Typed Functional-first Programming Revisited. Post-Proceedings of ML Workshop","author":"Petricek T.","year":"2015"},{"key":"e_1_3_2_1_17_1","volume-title":"Semantics and Language Design. MIT Press","author":"R\u00e9my D.","year":"1993"},{"key":"e_1_3_2_1_18_1","first-page":"510","volume-title":"The Semantic Web: ESWC 2014 Satellite Events","author":"Scheglmann S."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581691"},{"key":"e_1_3_2_1_20_1","first-page":"92","volume-title":"Gradual Typing for Functional Languages. In Scheme and Functional Programming Workshop","author":"Siek J. G.","year":"2006"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.11.047"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2578855.2535889"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429376.2429378"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/258994.259019"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1093"}],"event":{"name":"PLDI '16: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Santa Barbara CA USA","acronym":"PLDI '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2908080.2908115","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2908080.2908115","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:54:50Z","timestamp":1750208090000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2908080.2908115"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,2]]},"references-count":25,"alternative-id":["10.1145\/2908080.2908115","10.1145\/2908080"],"URL":"https:\/\/doi.org\/10.1145\/2908080.2908115","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2980983.2908115","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,6,2]]},"assertion":[{"value":"2016-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}