Hostname: page-component-cb9f654ff-65tv2 Total loading time: 0 Render date: 2025-08-05T22:33:44.248Z Has data issue: false hasContentIssue false
  • English
  • Français

Commercial users of functional programming workshop report

Part of: JFP Research Articles

Published online by Cambridge University Press:  08 January 2014

MICHAEL SPERBER  and
ANIL MADHAVAPEDDY
MICHAEL SPERBER
Affiliation:
Active Group GmbH, Hornbergstra ße 49, 70794 Filderstadt, Germany (e-mail: sperber@deinprogramm.de)
ANIL MADHAVAPEDDY
Affiliation:
Computer Laboratory, University of Cambridge, 15 JJ Thomson Avenue, Cambridge CB3 0FD, UK (e-mail: anil@recoil.org)
Rights & Permissions [Opens in a new window]

Extract

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

Commercial Users of Functional Programming (CUFP) is an annual 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 2012 workshop, which was held in association with International Conference on Functional Programming (ICFP) in Copenhagen, Denmark. 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 http://cufp.org.

Information

Type
Articles
Information
Journal of Functional Programming , Volume 23 , Issue 6 , November 2013 , pp. 701 - 712
Copyright
Copyright © Cambridge University Press 2014 

References

Balat, V., Vouillon, J. & Yakobowski, B. (2009) Experience report: Ocsigen, a web programming framework. In Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming (ICFP '09). New York, NY: ACM, pp. 311–316.Google Scholar
Benque, D., Bourton, S., Cockerton, C., Cook, B., Fisher, J., Ishtiaq, S., Piterman, N., Taylor, A. & Vardi, M. Y. (2012) BMA: Visual tool for modeling and analyzing biological networks. In Proceedings of the 24th International Conference on Computer Aided Verification (CAV '12). Berlin, Germany: Springer-Verlag, pp. 686–692.Google Scholar
Elliott, C. M. (2009) Push-pull functional reactive programming. In Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell (Haskell '09). New York, NY: ACM, pp. 25–36.Google Scholar
Gamma, E., Helm, R., Johnson, R. & Vlissides, J. (1995) Design Patterns: Elements of Reusable Object-Oriented Software. Boston, MA: Addison-Wesley.Google Scholar
López, M., Castro, L. M. & Cabrero, D. (2012a) Declarative distributed advertisement system for iDTV: An industrial experience. In Proceedings of the 14th Symposium on Principles and Practice of Declarative Programming. (PPDP '12). New York, NY: ACM, pp. 185–194.Google Scholar
López, M., Castro, L. M. & Cabrero, D. (2012b) Failover and takeover contingency mechanisms for network partition and node failure. In Proceedings of the 11th ACM SIGPLAN Workshop on Erlang (Erlang '12). New York, NY: ACM, pp. 51–60.Google Scholar
McCabe, F. & Clark, K. (1995) April – Agent Process Interaction Language. In Intelligent Agents, Lecture Notes on Artificial Intelligence, Jennings, N. & Wolldridge, M. (eds), vol. 890. Berlin, Germany: Springer-Verlag, pp. 324–340.CrossRefGoogle Scholar
Ondov, B. D., Bergman, N. H. & Phillippy, A. M. (2011) Interactive metagenomic visualization in a web browser. BMC Bioinformatics 12 (385).Google Scholar
Rendel, T. & Ostermann, K. (2010) Invertible syntax descriptions: Unifying parsing and pretty printing. In Proceedings of the 3rd ACM Haskell Symposium on Haskell (Haskell '10). New York, NY: ACM, pp. 1–12.Google Scholar
Reppy, J. H. (1999) Concurrent Programming in ML. Cambridge, UK: Cambridge University Press.Google Scholar
Searle, J. (1969) Speech Acts: An Essay in the Philosophy of Language. Cambridge, UK: Cambridge University Press.Google Scholar
Syme, D., Petricek, T. & Lomov, D. (2011) The F# asynchronous programming model. In Proceedings of the 13th International Conference on Practical Aspects of Declarative Languages (PADL '11). Berlin, Germany: Springer-Verlag, pp. 175–189.Google Scholar
Vouillon, J. (2008) Lwt: A cooperative thread library. In Proceedings of the 2008 ACM SIGPLAN Workshop on ML (ML '08). New York, NY: ACM, pp. 3–12.Google Scholar
Wadler, P. & Blott, S. (1989) How to make Ad-Hoc polymorphism less Ad-Hoc. In Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages. Austin, TX: ACM Press, pp. 60–76.Google Scholar
Submit a response

Discussions

No Discussions have been published for this article.