Hostname: page-component-7d684dbfc8-mqbnt Total loading time: 0 Render date: 2023-09-29T12:30:15.663Z Has data issue: false Feature Flags: { "corePageComponentGetUserInfoFromSharedSession": true, "coreDisableEcommerce": false, "coreDisableSocialShare": false, "coreDisableEcommerceForArticlePurchase": false, "coreDisableEcommerceForBookPurchase": false, "coreDisableEcommerceForElementPurchase": false, "coreUseNewShare": true, "useRatesEcommerce": true } hasContentIssue false

CUFP'13 scribe's report

Published online by Cambridge University Press:  16 March 2015

Twitter, Inc., 1355 Market Street, Suite 900, San Francisco, CA 94103, USA (e-mail:
Active Group GmbH, Hornbergstraße 49, 70794 Filderstadt, Germany (e-mail:
Computer Laboratory, University of Cambridge, 15 JJ Thomson Avenue, Cambridge CB3 0FD, UK (e-mail:
Rights & Permissions [Opens in a new window]


Core share and HTML view are not possible as this article does not have html content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

The Commercial Users of Functional Programming workshop (CUFP) is an annual workshop held in association with the International Conference on Functional Programming (ICFP). The aim of the CUFP workshops is to publicize the use of functional programming in commercial ventures. Its motto is “functional programming as a means, not an end.

Commercial Uses
Copyright © Cambridge University Press 2015 


Chandra, T. D., Griesemer, R. & Redstone, J. (2007) Paxos made live: An engineering perspective. In Proceedings of the 26th Annual Symposium on Principles of Distributed Computing. ACM, pp. 398407.Google Scholar
Christensen, B. & Husain, J. (2013. Reactive programming in the Netflix API with RxJava. Available at: Scholar
Claessen, K. & Hughes, J. (2011) Quickcheck: A lightweight tool for random testing of Haskell programs. In Proceedings of the International Conference on Functional Programming, vol. 46 (4), pp. 5364.Google Scholar
Compall, S. 2014 A users guide to Ermine. Available at: Scholar
Epstein, J., Black, A. P. & Peyton-Jones, S. (2011) Towards Haskell in the cloud. In Proceedings of the Haskell Symposium, vol. 46. ACM.Google Scholar
Google Inc. (2014). Protocol buffers. Available at: Scholar
Herington, D. (2014) HUnit 1.0 user's guide. Available at:'s_Guide.Google Scholar
Lamport, L. (1998) The part-time parliament. ACM Trans. Comput. Syst. (TOCS) 16 (2), 133169.CrossRefGoogle Scholar
Letourneau, P.-J. (2013) Mathematica gets big data with HadoopLink. Available at: Scholar
Madhavapeddy, A., Minsky, Y. & Eriksen, M. (2012) CUFP 2011 workshop report. J. Funct. Program. 22 (1), 18.CrossRefGoogle Scholar
Mitchell, N. (2014) HLint manual. Available at: Scholar
Pfeffer, A. (2009) Figaro: An object-oriented probabilistic programming language. Charles River Analytics Technical Report, 137.Google Scholar
Siek, J. G. & Taha, W. (2006) Gradual typing for functional languages. Scheme and Functional Programming Workshop, University of Chicago, Technical Report TR-2006-06, pp. 81–92.Google Scholar
Slee, M., Agarwal, A. & Kwiatkowski, M. (2007) Thrift: Scalable cross-language services implementation. Available at: Scholar
Snoyman, M. (2012) Developing Web Applications with Haskell and Yesod. O'Reilly Media, Inc.Google Scholar
Sperber, M. & Madhavapeddy, A. (2013) Commercial users of functional programming workshop report. J. Funct. Program. 23 (11), 701712.CrossRefGoogle Scholar
Tobin-Hochstadt, S. & Felleisen, M. (2006) Interlanguage migration: From scripts to programs. (Companion Dynamic Languages Symposium), pp. 964–974.CrossRefGoogle Scholar
Typesafe Inc. (2014a) Akka documentation: Release 2.0.2. Available at: Scholar
Typesafe Inc (2014b) Play 2.2 documentation.Google Scholar
Verlaguet, J. & Menghrajani, A. (2014) Hack: A New Programming Language for HHVM. Available at: Scholar
Vouillon, J. & Balat, V. (2014) From bytecode to JavaScript: The Js_of_ocaml compiler. Softw. Pract. Exp. 44 (8), 951972.CrossRefGoogle Scholar
Submit a response


No Discussions have been published for this article.