Commercial users of functional programming workshop report-Reference-Cited by-同舟云学术

Commercial users of functional programming workshop report

Published:2013-11 Issue:6 Volume:23 Page:701-712
ISSN:0956-7968
Container-title:Journal of Functional Programming
language:en
Short-container-title:J. Funct. Prog.

Author:

SPERBER MICHAEL,MADHAVAPEDDY ANIL

Abstract

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.

Publisher

Cambridge University Press (CUP)

Subject

Software

Reference14 articles.

1. Searle J. (1969) Speech Acts: An Essay in the Philosophy of Language. Cambridge, UK: Cambridge University Press.

2. 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.

3. 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.

4. 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.

5. 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.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. CUFP'13 scribe's report;Journal of Functional Programming;2015