{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T20:56:36Z","timestamp":1776891396393,"version":"3.51.2"},"reference-count":7,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","issue":"1","license":[{"start":{"date-parts":[[2012,3,6]],"date-time":"2012-03-06T00:00:00Z","timestamp":1330992000000},"content-version":"unspecified","delay-in-days":65,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Funct. Prog."],"published-print":{"date-parts":[[2012,1]]},"abstract":"<jats:p>\n                    Commercial Users of Functional Programming (CUFP) is a yearly workshop that is aimed at the community of software developers who use functional programming in real-world settings. This scribe report covers the talks that were delivered at the 2011 workshop, which was held in association with ICFP in Tokyo. The goal of the report is to give the reader a sense of what went on, rather than to reproduce the full details of the talks. Videos and slides from all the talks are available online at\n                    <jats:uri xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:type=\"simple\" xlink:href=\"http:\/\/cufp.org\">http:\/\/cufp.org<\/jats:uri>\n                    .\n                  <\/jats:p>","DOI":"10.1017\/s0956796812000020","type":"journal-article","created":{"date-parts":[[2012,3,6]],"date-time":"2012-03-06T08:18:15Z","timestamp":1331021895000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["CUFP 2011 Workshop Report"],"prefix":"10.46298","volume":"22","author":[{"given":"ANIL","family":"MADHAVAPEDDY","sequence":"first","affiliation":[]},{"given":"YARON","family":"MINSKY","sequence":"additional","affiliation":[]},{"given":"MARIUS","family":"ERIKSEN","sequence":"additional","affiliation":[]}],"member":"25203","published-online":{"date-parts":[[2012,3,6]]},"reference":[{"key":"S0956796812000020_ref7","first-page":"37","volume-title":"Proceedings of the Ninth ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming","author":"Sagonas","year":"2007"},{"key":"S0956796812000020_ref5","volume-title":"Proceedings of the International Symposium on Code Generation and Optimization: Feedback-Directed and Runtime Optimization","author":"Lattner","year":"2004"},{"key":"S0956796812000020_ref2","unstructured":"Arvind Gostelow K. P. & Plouffe W. E. (1978 December) An Asynchronous Programming Language for a Large Multiprocessor Machine. Tech. Rep. TR114a. UC Irvine."},{"key":"S0956796812000020_ref6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1862867.1862868","article-title":"What is Bluespec?","volume":"38","author":"Rishiyur","year":"2008","journal-title":"Sigda Newsl"},{"key":"S0956796812000020_ref1","unstructured":"Aditya S. , Arvind Maessen J.-W. , Augustsson L. & Rishiyur S. N. (1995) Semantics of ph: A parallel dialect of Haskell. In Proceedings of the Haskell Workshop (at FPCA 1995), pp. 35\u201349."},{"key":"S0956796812000020_ref4","first-page":"73","volume-title":"Proceedings of the Third Workshop on Programming Languages Meets Program Verification","author":"Erk\u00f6k","year":"2008"},{"key":"S0956796812000020_ref3","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"}],"container-title":["Journal of Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0956796812000020","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T20:19:28Z","timestamp":1776889168000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0956796812000020\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1]]},"references-count":7,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,1]]}},"alternative-id":["S0956796812000020"],"URL":"https:\/\/doi.org\/10.1017\/s0956796812000020","relation":{},"ISSN":["0956-7968","1469-7653"],"issn-type":[{"value":"0956-7968","type":"print"},{"value":"1469-7653","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1]]}}}