{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:25:18Z","timestamp":1750307118830,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":4,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,3]],"date-time":"2011-10-03T00:00:00Z","timestamp":1317600000000},"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":[[2011,10,3]]},"DOI":"10.1145\/2072221.2072273","type":"proceedings-article","created":{"date-parts":[[2011,12,5]],"date-time":"2011-12-05T17:50:15Z","timestamp":1323107415000},"page":"338-340","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Browser-based software for technology transfer"],"prefix":"10.1145","author":[{"given":"Judith","family":"Bishop","sequence":"first","affiliation":[{"name":"Microsoft Research, Redmond, WA"}]},{"given":"Jonathan","family":"de Halleux","sequence":"additional","affiliation":[{"name":"Microsoft Research, Redmond, WA"}]},{"given":"Nikolai","family":"Tillmann","sequence":"additional","affiliation":[{"name":"Microsoft Research, Redmond, WA"}]},{"given":"Nigel","family":"Horspool","sequence":"additional","affiliation":[{"name":"University of Victoria, BC, Canada"}]},{"given":"Don","family":"Syme","sequence":"additional","affiliation":[{"name":"Microsoft Research, Cambridge, UK"}]},{"given":"Tao","family":"Xie","sequence":"additional","affiliation":[{"name":"North Carolina State University"}]}],"member":"320","published-online":{"date-parts":[[2011,10,3]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"F# 3.0 Reference Manual: http:\/\/research.microsoft.com\/en-us\/um\/cambridge\/projects\/fsharp\/manual\/spec.pdf  F# 3.0 Reference Manual: http:\/\/research.microsoft.com\/en-us\/um\/cambridge\/projects\/fsharp\/manual\/spec.pdf"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/IV.2008.34"},{"key":"e_1_3_2_1_3_1","volume-title":"MSR-TR-2011-41","author":"Tillmann Nikolai","year":"2011","unstructured":"Nikolai Tillmann , Jonathan de Halleux , Tao Xie , Pex for Fun: Engineering an Automated Testing Tool for Serious Games in Computer Science , MSR-TR-2011-41 , March 2011 Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Pex for Fun: Engineering an Automated Testing Tool for Serious Games in Computer Science, MSR-TR-2011-41, March 2011"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSEET.2011.5876146"}],"event":{"name":"SAICSIT '11: South African Institute of Computer Scientists and Information Technologists Conference","sponsor":["University of Cape Town","SAICSIT So. African Inst. Of Computer Scientists & Info Tecnologists"],"location":"Cape Town South Africa","acronym":"SAICSIT '11"},"container-title":["Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2072221.2072273","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2072221.2072273","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:20Z","timestamp":1750240100000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2072221.2072273"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,3]]},"references-count":4,"alternative-id":["10.1145\/2072221.2072273","10.1145\/2072221"],"URL":"https:\/\/doi.org\/10.1145\/2072221.2072273","relation":{},"subject":[],"published":{"date-parts":[[2011,10,3]]},"assertion":[{"value":"2011-10-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}