{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:08:18Z","timestamp":1725725298713},"publisher-location":"New York, NY, USA","reference-count":4,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[1997,8]]},"DOI":"10.1145\/258948.258985","type":"proceedings-article","created":{"date-parts":[[2004,2,3]],"date-time":"2004-02-03T17:08:40Z","timestamp":1075828120000},"page":"316","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["BigTypes in ML (poster)"],"prefix":"10.1145","author":[{"given":"Bruce J.","family":"McAdam","sequence":"first","affiliation":[{"name":"The University of Edinburgh"}]}],"member":"320","published-online":{"date-parts":[[1997,8]]},"reference":[{"key":"e_1_3_2_1_1_2","volume-title":"DIKU","author":"Birkedal Lars","year":"1993","unstructured":"Lars Birkedal , Nick Rothwell , Mads Tofte , and David N. Turner . The ML h'it . DIKU , March 1993 . Lars Birkedal, Nick Rothwell, Mads Tofte, and David N. Turner. The ML h'it. DIKU, March 1993."},{"key":"e_1_3_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_2_1_3_2","volume-title":"Mathematics of Software Quality","author":"Gilmore Stephen","year":"1995","unstructured":"Stephen Gilmore . Designing for proof . In Mathematics of Software Quality , 1995 . Stephen Gilmore. Designing for proof. In Mathematics of Software Quality, 1995."},{"key":"e_1_3_2_1_4_2","volume-title":"The Definition of Standard ML","author":"Milner Robin","year":"1990","unstructured":"Robin Milner , Mads Tofte , and Robert Harper . The Definition of Standard ML . MIT Press , 1990 . Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990."}],"event":{"name":"ICFP97: International Conference on Functional Programming 1997","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","IFIP WG 2.8 IFIP WG 2.8"],"location":"Amsterdam The Netherlands","acronym":"ICFP97"},"container-title":["Proceedings of the second ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/258948.258985","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T17:12:28Z","timestamp":1693847548000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/258948.258985"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,8]]},"references-count":4,"alternative-id":["10.1145\/258948.258985","10.1145\/258948"],"URL":"https:\/\/doi.org\/10.1145\/258948.258985","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/258949.258985","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[1997,8]]},"assertion":[{"value":"1997-08-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}