{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T23:05:37Z","timestamp":1779836737933,"version":"3.53.1"},"reference-count":7,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,4,9]],"date-time":"2014-04-09T00:00:00Z","timestamp":1397001600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Funct. Prog."],"published-print":{"date-parts":[[2014,7]]},"DOI":"10.1017\/s0956796814000057","type":"journal-article","created":{"date-parts":[[2014,4,9]],"date-time":"2014-04-09T08:50:07Z","timestamp":1397033407000},"page":"524-527","source":"Crossref","is-referenced-by-count":0,"title":["Computational Semantics with Functional Programming, by Jan van Eijck  and Christina Unger ."],"prefix":"10.1017","volume":"24","author":[{"given":"DOMINIC","family":"ORCHARD","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2014,4,9]]},"reference":[{"key":"S0956796814000057_ref7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511778377"},{"key":"S0956796814000057_ref2","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Janssen","year":"2012"},{"key":"S0956796814000057_ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.05.029"},{"key":"S0956796814000057_ref5","unstructured":"Szab\u00f3 Z. G. (2013, Fall) Compositionality. In The Stanford Encyclopedia of Philosophy, Zalta E. N. (ed)."},{"key":"S0956796814000057_ref1","doi-asserted-by":"crossref","unstructured":"Chakravarty M. M. T. , Keller G. , Jones S. P. & Marlow S. (2005) Associated types with class. In Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'05), pp. 1\u201313.","DOI":"10.1145\/1040305.1040306"},{"key":"S0956796814000057_ref3","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1970.tb00434.x"},{"key":"S0956796814000057_ref4","unstructured":"Shan C.-c. (2005) Linguistic Side Effects. PhD dissertation, Harvard University, Harvard, MA."}],"container-title":["Journal of Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0956796814000057","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T22:36:07Z","timestamp":1779834967000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0956796814000057\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,9]]},"references-count":7,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,7]]}},"alternative-id":["S0956796814000057"],"URL":"https:\/\/doi.org\/10.1017\/s0956796814000057","relation":{},"ISSN":["0956-7968","1469-7653"],"issn-type":[{"value":"0956-7968","type":"print"},{"value":"1469-7653","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,4,9]]}}}