{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T11:16:12Z","timestamp":1764587772739,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,10,21]],"date-time":"2015-10-21T00:00:00Z","timestamp":1445385600000},"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":[[2015,10,21]]},"DOI":"10.1145\/2814228.2814249","type":"proceedings-article","created":{"date-parts":[[2015,11,3]],"date-time":"2015-11-03T20:06:54Z","timestamp":1446581214000},"page":"254-266","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Against a universal definition of 'Type'"],"prefix":"10.1145","author":[{"given":"Tomas","family":"Petricek","sequence":"first","affiliation":[{"name":"University of Cambridge, UK"}]}],"member":"320","published-online":{"date-parts":[[2015,10,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Aspinall D. Hofmann M. (2005). Dependent Types. In Pierce B. C. (ed.) Advanced Topics in Types and Programming Languages. MIT press 2005.  Aspinall D. Hofmann M. (2005). Dependent Types. In Pierce B. C. (ed.) Advanced Topics in Types and Programming Languages. MIT press 2005."},{"key":"e_1_3_2_1_2_1","unstructured":"Benton N. (2014). What We Talk About When We Talk About Types (talk). Talk slides retrieved from: http:\/\/research.microsoft.com\/en-us\/um\/people\/nick Bracha G. (2011). Optional Types in Dart. Available online at: https:\/\/www.dartlang.org\/articles\/optional-types\/ 61 Hacking (1983) 154 Chalmers A. F. (1999). What is This Thing Called Science? Open University Press. ISBN 0335201091.  Benton N. (2014). What We Talk About When We Talk About Types (talk). Talk slides retrieved from: http:\/\/research.microsoft.com\/en-us\/um\/people\/nick Bracha G. (2011). Optional Types in Dart. Available online at: https:\/\/www.dartlang.org\/articles\/optional-types\/ 61 Hacking (1983) 154 Chalmers A. F. (1999). What is This Thing Called Science? Open University Press. ISBN 0335201091."},{"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","doi-asserted-by":"publisher","DOI":"10.1145\/2384592.2384611"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Hacking I. (1983). Representing and Intervening: Introductory Topics in the Philosophy of Natural Science. Cambridge University Press. ISBN 0521282462.  Hacking I. (1983). Representing and Intervening: Introductory Topics in the Philosophy of Natural Science. Cambridge University Press. ISBN 0521282462.","DOI":"10.1017\/CBO9780511814563"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661136.2661154"}],"event":{"name":"SPLASH '15: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Pittsburgh PA USA","acronym":"SPLASH '15"},"container-title":["2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814228.2814249","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2814228.2814249","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:12:47Z","timestamp":1750227167000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814228.2814249"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,21]]},"references-count":6,"alternative-id":["10.1145\/2814228.2814249","10.1145\/2814228"],"URL":"https:\/\/doi.org\/10.1145\/2814228.2814249","relation":{},"subject":[],"published":{"date-parts":[[2015,10,21]]},"assertion":[{"value":"2015-10-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}