{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,6]],"date-time":"2024-05-06T12:11:48Z","timestamp":1714997508210},"reference-count":12,"publisher":"CRC Press","isbn-type":[{"value":"9781420059779","type":"print"},{"value":"9781420059786","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,11,24]]},"DOI":"10.1081\/e-ese-120044136","type":"book-chapter","created":{"date-parts":[[2016,7,28]],"date-time":"2016-07-28T15:09:12Z","timestamp":1469718552000},"page":"333-346","source":"Crossref","is-referenced-by-count":0,"title":["Functional Programming in ML"],"prefix":"10.1081","author":[{"given":"Lawrence C.","family":"Paulson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2016,7,28]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380090105"},{"key":"CIT0004","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML","author":"Milner R.","year":"1997"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/6.4.308"},{"key":"CIT0006","volume-title":"Structure and Interpretation of Computer Programs","author":"Abelson H.","year":"1985"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511811326"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/32.2.98"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1145\/262009.262011"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139173018"},{"key":"CIT0011","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511818073","volume-title":"The Haskell School of Expression","author":"Hudak P.","year":"2000"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511530104"}],"container-title":["Encyclopedia of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.crcnetbase.com\/doi\/pdf\/10.1081\/E-ESE-120044136","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,11]],"date-time":"2019-09-11T21:32:03Z","timestamp":1568237523000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.crcnetbase.com\/doi\/10.1081\/E-ESE-120044136"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,24]]},"ISBN":["9781420059779","9781420059786"],"references-count":12,"alternative-id":["10.1081\/E-ESE-120044136","10.1081\/E-ESE"],"URL":"https:\/\/doi.org\/10.1081\/e-ese-120044136","relation":{},"subject":[],"published":{"date-parts":[[2010,11,24]]}}}