November 2014 - Haskell

ANNOUNCE: ioctl 0.0.1
by Maciej Piechotka 13 Sep '15

13 Sep '15

A package for type-safe I/O control. Currently only ioctl is supported. Currently simply a extract from my tuntap fork TODO: - Return the integer as well as structure (will break the API) - Port for Windows Network.Socket.IOCtl (as soon as I manage to setup some sane environment on this platform) - Wrapping around DeviceIoControl Example (in hsc): data NotRead = NotRead instance NotRead Int where ioctlReq _ = #const FIONREAD notRead s = ioctlsocket' s NotRead Regards

2 1

PPDP 2015 -- First call for papers
by Moreno Falaschi 23 Nov '14

23 Nov '14

[Apologies for multiple copies] ============= First Call for papers ========================================= 17th International Symposium on Principles and Practice of Declarative Programming PPDP 2015 Siena, Italy, July 14-16, 2015 (co-located with LOPSTR 2015) http://costa.ls.fi.upm.es/ppdp15 ====================================================================== SUBMISSION DEADLINE: 20 MARCH, 2015 PPDP 2015 is a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing languages, database languages, and knowledge representation languages. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, verification and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. Topics of interest include, but are not limited to * Functional programming * Logic programming * Answer-set programming * Functional-logic programming * Declarative visual languages * Constraint Handling Rules * Parallel implementation and concurrency * Monads, type classes and dependent type systems * Declarative domain-specific languages * Termination, resource analysis and the verification of declarative programs * Transformation and partial evaluation of declarative languages * Language extensions for security and tabulation * Probabilistic modeling in a declarative language and modeling reactivity * Memory management and the implementation of declarative systems * Practical experiences and industrial application This year the conference will be co-located with the 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015). The conference will be held in Siena, Italy. Previous symposia were held at Canterbury (UK), Madrid (Spain), Leuven (Belgium), Odense (Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris (France). You might have a look at the contents of past PPDP symposia. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Important Dates Abstract Submission: 14 March, 2015 Paper submission: 20 March, 2015 Notification: 14 May, 2015 Camera-ready: To be announced Symposium: 14-16 July, 2015 Authors should submit an electronic copy of the full paper in PDF. Papers should be submitted to the submission website for PPDP 2015. Each submission must include on its first page the paper title; authors and their affiliations; abstract; and three to four keywords. The keywords will be used to assist the program committee in selecting appropriate reviewers for the paper. Papers should consist of the equivalent of 12 pages under the ACM formatting guidelines. These guidelines are available online, along with formatting templates or style files. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. Authors who wish to provide additional material to the reviewers beyond the 12-page limit can do so in clearly marked appendices: reviewers are not required to read such appendices. Program Committee TBA Program Chair Elvira Albert Complutense University of Madrid C/ Profesor Garcia Santesmases E-28040 Madrid, Spain Email: elvira(a)sip.ucm.es Symposium Chair Moreno Falaschi Dipartimento di Ingegneria dell’Informazione e Scienze Matematiche University of Siena, Italy Email: moreno.falaschi(a)unisi.it

1 0

Call for Participation: BOB 2015 in Berlin
by Stefan Wehr 20 Nov '14

20 Nov '14

Hi everyone, the BOB conference is taking place soon, featuring two Haskell related tutorials! ================================================================ BOB 2015 Conference "What happens if we simply use what's best?" January 23. 2015 Berlin, Germany http://bobkonf.de/2015/ Program: http://bobkonf.de/2015/programm.html Registration: http://bobkonf.de/2015/registration.html ================================================================ BOB is the conference for developers, architects and decision-makers to explore technologies beyond the mainstream in software development, and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experiences. The program features 14 talks and 8 tutorials on current topics: http://bobkonf.de/2015/programm.html The subject range of talks includes functional programming, microservices, package management, and data management. The tutorials feature introductions to Erlang, Haskell, Swift, and ClojureScript, and their applications. Anil Madhavapeddy will hold the keynote talk - about unikernels and functional programming. Registration is open online: http://bobkonf.de/2015/registration.html NOTE: The early-bird rates expire on Dec. 19, 2014! BOB cooperates with the :clojured conference on the following day. There is a registration discount available for participants of both events. http://www.clojured.de/

1 0

Haskell Weekly News: Issue 312
by Daniel Santa Cruz 20 Nov '14

20 Nov '14

Welcome to issue 312 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from October 26 to November 15, 2014 Quotes of the Week * barsoap: There's no place for half measures in overkill. Top Reddit Stories * Category Theory for Programmers: The Preface Domain: bartoszmilewski.com, Score: 141, Comments: 68 Original: [1] http://goo.gl/nTaVM5 On Reddit: [2] http://goo.gl/9cnWqN * Idris 0.9.15 released: partial evaluator, uniqueness types, library cleanups, and fancier docs. Domain: idris-lang.org, Score: 111, Comments: 55 Original: [3] http://goo.gl/nL9Ptr On Reddit: [4] http://goo.gl/mkHVEl * HaskForce - The Haskell Plugin for IntelliJ IDEA Domain: carymrobbins.github.io, Score: 104, Comments: 34 Original: [5] http://goo.gl/Oa0jBA On Reddit: [6] http://goo.gl/W2jrFW * Haskell for all: How to desugar Haskell code Domain: haskellforall.com, Score: 97, Comments: 50 Original: [7] http://goo.gl/1ZfiyP On Reddit: [8] http://goo.gl/hK3xTo * Functional programming and condescension Domain: superginbaby.wordpress.com, Score: 87, Comments: 147 Original: [9] http://goo.gl/erVkNx On Reddit: [10] http://goo.gl/ncQcxX * Quick Reminder to be Courteous Domain: self.haskell, Score: 85, Comments: 39 Original: [11] http://goo.gl/pmEODB On Reddit: [12] http://goo.gl/pmEODB * Category Theory Applied to Functional Programming Domain: eafit.edu.co, Score: 84, Comments: 14 Original: [13] http://goo.gl/ax59vm On Reddit: [14] http://goo.gl/xZYksD * New Book - Game Programming in Haskell Domain: leanpub.com, Score: 84, Comments: 31 Original: [15] http://goo.gl/hAqaaU On Reddit: [16] http://goo.gl/XePpcJ * "hasql" is up to 2x and 7x faster than "postgresql-simple" and "HDBC" Domain: nikita-volkov.github.io, Score: 72, Comments: 22 Original: [17] http://goo.gl/YwU4OQ On Reddit: [18] http://goo.gl/fnfFAC * Typing Haskell in Haskell (markdownified with syntax highlighting and updated links) Domain: gist.github.com, Score: 68, Comments: 3 Original: [19] http://goo.gl/U6Jnvr On Reddit: [20] http://goo.gl/QeLcak * Using Haskell at Work Domain: self.haskell, Score: 66, Comments: 66 Original: [21] http://goo.gl/265kRm On Reddit: [22] http://goo.gl/265kRm * Category: The Essence of Composition (First section of the Category Theory for Programmers) Domain: bartoszmilewski.com, Score: 60, Comments: 37 Original: [23] http://goo.gl/pdwr4X On Reddit: [24] http://goo.gl/AtYhI3 * PureScript 0.6 released, plus new website Domain: github.com, Score: 55, Comments: 23 Original: [25] http://goo.gl/TSuiEM On Reddit: [26] http://goo.gl/ZRBCHz * Tomatoes are a subtype of vegetables Domain: blog.ezyang.com, Score: 53, Comments: 58 Original: [27] http://goo.gl/1evzHU On Reddit: [28] http://goo.gl/qiiwSS * The Guts of a Spineless Machine Domain: jozefg.bitbucket.org, Score: 49, Comments: 11 Original: [29] http://goo.gl/KxW1iq On Reddit: [30] http://goo.gl/CNQbwk * A Large Scale Study of Programming Languages and Code Quality in Github Domain: macbeth.cs.ucdavis.edu, Score: 47, Comments: 48 Original: [31] http://goo.gl/TEoSBV On Reddit: [32] http://goo.gl/18UfCM * ghci-ng - GHCi plus extra goodies Domain: github.com, Score: 45, Comments: 14 Original: [33] http://goo.gl/g6VMiK On Reddit: [34] http://goo.gl/5Mg7n8 Top StackOverflow Questions * Haskell's type checker is allowing a very wrong type replacement, and the program still compiles votes: 68, answers: 2 Read on SO: [35] http://goo.gl/ikcCmv * Subsumption in polymorphic types votes: 29, answers: 1 Read on SO: [36] http://goo.gl/clKuju * Rewriting as a practical optimization technique in GHC: Is it really needed? votes: 23, answers: 3 Read on SO: [37] http://goo.gl/MNNuhW * Is there an unsigned integer type that will warn about negative literals? votes: 21, answers: 1 Read on SO: [38] http://goo.gl/SmRO3t * How can I make GHCI release memory votes: 19, answers: 1 Read on SO: [39] http://goo.gl/U3qroZ * How much of Pascal's triangle does this evaluate? votes: 15, answers: 1 Read on SO: [40] http://goo.gl/PsaQ3X * Why is super-compilation not implemented more prevalent? votes: 14, answers: 3 Read on SO: [41] http://goo.gl/MFNsrE Until next time, [42]+Daniel Santa Cruz References 1. http://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-p… 2. http://www.reddit.com/r/haskell/comments/2kkrd3/category_theory_for_program… 3. http://www.idris-lang.org/idris-0-9-15-released/ 4. http://www.reddit.com/r/haskell/comments/2kfosg/idris_0915_released_partial… 5. http://carymrobbins.github.io/intellij-haskforce/ 6. http://www.reddit.com/r/haskell/comments/2kvzuz/haskforce_the_haskell_plugi… 7. http://www.haskellforall.com/2014/10/how-to-desugar-haskell-code.html 8. http://www.reddit.com/r/haskell/comments/2kf61f/haskell_for_all_how_to_desu… 9. http://superginbaby.wordpress.com/2014/10/28/suddenly-the-opposite-appeared/ 10. http://www.reddit.com/r/haskell/comments/2klj3b/functional_programming_and_… 11. http://www.reddit.com/r/haskell/comments/2lfofw/quick_reminder_to_be_courte… 12. http://www.reddit.com/r/haskell/comments/2lfofw/quick_reminder_to_be_courte… 13. http://www1.eafit.edu.co/asicard/pubs/cain-screen.pdf 14. http://www.reddit.com/r/haskell/comments/2kowzu/category_theory_applied_to_… 15. https://leanpub.com/gameinhaskell 16. http://www.reddit.com/r/haskell/comments/2m253y/new_book_game_programming_i… 17. http://nikita-volkov.github.io/hasql-benchmarks/ 18. http://www.reddit.com/r/haskell/comments/2lwx9y/hasql_is_up_to_2x_and_7x_fa… 19. https://gist.github.com/chrisdone/0075a16b32bfd4f62b7b 20. http://www.reddit.com/r/haskell/comments/2lo881/typing_haskell_in_haskell_m… 21. http://www.reddit.com/r/haskell/comments/2lcx8c/using_haskell_at_work/ 22. http://www.reddit.com/r/haskell/comments/2lcx8c/using_haskell_at_work/ 23. http://bartoszmilewski.com/2014/11/04/category-the-essence-of-composition/ 24. http://www.reddit.com/r/haskell/comments/2la0cx/category_the_essence_of_com… 25. https://github.com/purescript/purescript/releases/tag/v0.6.0 26. http://www.reddit.com/r/haskell/comments/2lt7oc/purescript_06_released_plus… 27. http://blog.ezyang.com/2014/11/tomatoes-are-a-subtype-of-vegetables/ 28. http://www.reddit.com/r/haskell/comments/2meyxf/tomatoes_are_a_subtype_of_v… 29. http://jozefg.bitbucket.org/posts/2014-10-28-stg.html 30. http://www.reddit.com/r/haskell/comments/2kswnp/the_guts_of_a_spineless_mac… 31. http://macbeth.cs.ucdavis.edu/lang_study.pdf 32. http://www.reddit.com/r/haskell/comments/2lb3oz/a_large_scale_study_of_prog… 33. https://github.com/chrisdone/ghci-ng 34. http://www.reddit.com/r/haskell/comments/2l9bvb/ghcing_ghci_plus_extra_good… 35. http://stackoverflow.com/questions/26770247/haskells-type-checker-is-allowi… 36. http://stackoverflow.com/questions/26806653/subsumption-in-polymorphic-types 37. http://stackoverflow.com/questions/26827663/rewriting-as-a-practical-optimi… 38. http://stackoverflow.com/questions/26574302/is-there-an-unsigned-integer-ty… 39. http://stackoverflow.com/questions/26712188/how-can-i-make-ghci-release-mem… 40. http://stackoverflow.com/questions/26729146/how-much-of-pascals-triangle-do… 41. http://stackoverflow.com/questions/26605431/why-is-super-compilation-not-im… 42. https://plus.google.com/105107667630152149014/about

1 0

NOTE: the primary webserver is going down for immediate maintenance.
by Austin Seipp 19 Nov '14

19 Nov '14

Hello *, The primary haskell.org domain, www.haskell.org, is hosted on a system which seems to have lost one of its RAID disks completely. We were planning on moving this machine in the next few weeks to new infrastructure, but we are now expediting this plan and will be doing it ASAP. As we move this server, both the webserver and the mailing system will be going down. Please don't be alarmed if your emails aren't delivered or things go quiet. Many services will continue to work, but we do realize this will be upsetting for many. You can follow the progress on #haskell-infrastructure on Freenode, and see updates on https://status.haskell.org If you need to download something like a GHC binary or Haskell Platform package, you can use https://downloads.haskell.org in the mean time, which is a new service we were hoping to announce more officially soon, but is already working today. Unfortunately we cannot give an expected time of completion for the move, but we'll try to keep people well informed through IRC or something like Reddit. Thanks -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/

2 1

[ANNOUNCE] New release of SBV (v3.2)
by Levent Erkok 19 Nov '14

19 Nov '14

I'm pleased to announce v3.2 release of SBV, providing facilities for SMT based theorem proving in Haskell. This is mainly a bug-fix/maintenance release, together with one new feature: SBV now implements 'sAssert', which works similar to 'assert' calls in Haskell or other languages to check that certain program invariants always hold. Except, SBV allows the condition to be symbolic, and all violations will be caught and reported as the underlying program is symbolically executed. (For instance, this facility can be useful in other DSL's built on top of SBV to make sure the code they generate never divides by 0, or indexes out of bounds.) Full release notes: https://github.com/LeventErkok/sbv /blob/master/CHANGES.md SBV web page: http://leventerkok.github.io/sbv/ As usual, bug reports and feedback are most welcome! -Levent.

1 0

ANNOUNCE: Haskell Communities and Activities Report (27th ed., November 2014)
by Mihai Maruseac 17 Nov '14

17 Nov '14

On behalf of all the contributors, we are pleased to announce that the Haskell Communities and Activities Report (27th edition, November 2014) is now available, in PDF and HTML formats: http://haskell.org/communities/11-2014/report.pdf http://haskell.org/communities/11-2014/html/report.html Many thanks go to all the people that contributed to this report, both directly, by sending in descriptions, and indirectly, by doing all the interesting things that are reported. We hope you will find it as interesting a read as we did. If you have not encountered the Haskell Communities and Activities Reports before, you may like to know that the first of these reports was published in November 2001. Their goal is to improve the communication between the increasingly diverse groups, projects, and individuals working on, with, or inspired by Haskell. The idea behind these reports is simple: Every six months, a call goes out to all of you enjoying Haskell to contribute brief summaries of your own area of work. Many of you respond (eagerly, unprompted, and sometimes in time for the actual deadline) to the call. The editors collect all the contributions into a single report and feed that back to the community. When we try for the next update, six months from now, you might want to report on your own work, project, research area or group as well. So, please put the following into your diaries now: ======================================== End of April 2015: target deadline for contributions to the May 2015 edition of the HC&A Report ======================================== Unfortunately, many Haskellers working on interesting projects are so busy with their work that they seem to have lost the time to follow the Haskell related mailing lists and newsgroups, and have trouble even finding time to report on their work. If you are a member, user or friend of a project so burdened, please find someone willing to make time to report and ask them to "register" with the editors for a simple e-mail reminder in October (you could point us to them as well, and we can then politely ask if they want to contribute, but it might work better if you do the initial asking). Of course, they will still have to find the ten to fifteen minutes to draw up their report, but maybe we can increase our coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Mihai Maruseac and Alejandro Serrano Mena <hcar at haskell.org> -- Mihai Maruseac (MM) "If you don't know, the thing to do is not to get scared, but to learn." -- Atlas Shrugged.

2 1

Call for Presentations: Compose Conference [New York, Jan 30-Feb 1]
by Gershom B 16 Nov '14

16 Nov '14

Compose is a new conference for typed functional programmers, focused specifically on Haskell, OCaml, F#, and related technologies. It will be held in New York from Jan 30-Feb 1, and registration is opening shortly. http://www.composeconference.org/ Below is our call for presentations. We recognize the deadline is tight, so feel free to submit proposals and ideas on the less-polished side. Call for Presentations and Speakers. http://www.composeconference.org/call/index.html --- The audience for Compose is Haskell, OCaml, or F# developers who are looking to increase their skills or learn new technologies and libraries. Presentations should be aimed at teaching or introducing new ideas or tools. We are also interested in presentations aiming at taking complex concepts, such as program derivation, and putting them into productive use. However proposals on anything that you suspect our audience may find interesting are welcome. The following are some of the types of talks we would welcome: Library/Tool Talks — Exploring the uses of a powerful toolkit or library, be it for parsing, testing, data access and analysis, or anything else. Production Systems — Experience reports on deploying functional techniques in real systems; insights revealed, mistakes made, lessons learned. Theory made Practical — Just because it’s locked away in papers doesn’t mean it’s hard! Accessible lectures on classic results and why they matter to us today. Such talks can include simply introducing the principles of a field of research so as to help the audience read up on it in the future; from abstract machines to program derivation to branch-and-bound algorithms, the sky’s the limit. We also welcome proposals for more formal tutorials for the Sunday unconference. Such tutorials should be aimed at a smaller audience of beginner-to-novice understanding, and ideally include hands-on exercises. The due date for submissions is November 30, 2014. We will send out notice of acceptance by 10 December. We prefer that submissions be via the EasyChair website (https://easychair.org/conferences/?conf=compose2015) Please suggest a title, and describe the topic you intend to speak on. Additional information may be included on both your expertise and the interesting elements of your topic, going on what might be included in a public abstract. Furthermore, if your abstract doesn't feel "final"—don't worry! We'll work with you to polish it up. If you want to discuss your proposal(s) before submitting, or to further nail down what you intend to speak on, please feel free to contact us at info(a)composeconference.org. We're happy to work with you, even if you are a new or inexperienced speaker, to help your talk be great. —Gershom

1 0

RDP 2015 Last Call for Workshops
by Aleksy Schubert 10 Nov '14

10 Nov '14

[apologies for cross posting] ----------------------------------------------------------------------- RDP 2015 Last Call for Workshops (Rewriting, Deduction, and Programming, June-July 2015, Warsaw, Poland) ----------------------------------------------------------------------- RDP 2015 is the eighth edition of the International Conference on Rewriting, Deduction, and Programming, consisting of two main conferences * RTA (Rewriting Techniques and Applications) * TLCA (Typed Lambda Calculi and Applications) Previous RDPs were held in 2003 in Valencia (Spain), 2004 in Aachen (Germany), 2005 in Nara (Japan), 2007 in Paris (France), 2009 in Brasilia (Brasil), 2011 in Novi Sad (Serbia), 2013 in Eindhoven (The Netherlands). We solicit proposals for satellite workshops of RDP 2015 that are related in topics to one or both of the RDP conferences. We plan the workshops to proceed for up to 2 days (possibilities of longer workshops should be discussed with the organisers). It is tradition at RDP that attendance to workshops is open to participants of parallel events, similar to the way FLoC workshops are run. There will be one day (Sunday, June 28, 2015) reserved for workshops only, however, it will also be possible to run workshops on the other days in parallel to one of the main conferences. RDP will provide the possibility to print workshop proceedings, details of the procedure will be posted later by the local organising committee. RDP will not be able to reimburse invited workshop speakers for travel or living expenses, though it may be possible to waive part of the registration fees for invited speakers. The priority of RDP will be to keep registration fees for the conferences and workshops low. If you want to organise a workshop, please send the following information to rdp15(a)mimuw.edu.pl: * Workshop title and description of the topic * Names and affiliations of the organisers * Pointers to descriptions of previous editions of the workshop, if any * Proposed workshop duration (from one day to two days) * Proposed format and agenda (for example, paper presentations, tutorials, demo sessions, etc.) * Plans for invited speakers or special sessions (round-table discussion, tutorials, etc.) * Estimate of the audience size * Procedures for selecting papers and participants * Plans for the publication of proceedings (informal proceedings distributed to participants, electronic journal, proceedings with separate selection process, etc.) * Other potential organisational issues IMPORTANT DATES Submission of workshop proposals: November 18, 2014 (Tuesday) Notification date: November 26, 2014 (Wednesday) Workshop dates: June 28-July 3, 2014 (Sunday-Friday) CONTACT INFORMATION Questions regarding workshop proposals should be sent to rdp15(a)mimuw.edu.pl. RDP 2015 MAIN ORGANISER Aleksy Schubert http://www.mimuw.edu.pl/~alx/ Faculty of Mathematics, Informatics and Mechanics University of Warsaw

1 0

ICFP 2015: Call for Papers
by David Van Horn 07 Nov '14

07 Nov '14

===================================================================== 20th ACM SIGPLAN International Conference on Functional Programming ICFP 2015 Vancouver, Canada, August 31 - September 2, 2015 http://www.icfpconference.org/icfp2015 ===================================================================== Important Dates ~~~~~~~~~~~~~~~ Submissions due: Friday, February 27 2015, 23:59 UTC-11 Author response: Tuesday, April 21, 2015 through Thursday, 23 April, 2015 Notification: Friday, May 1, 2015 Final copy due: Friday, June 12, 2015 Scope ~~~~~ ICFP 2015 seeks original papers on the art and science of functional programming. Submissions are invited on all topics from principles to practice, from foundations to features, and from abstraction to application. The scope includes all languages that encourage functional programming, including both purely applicative and imperative languages, as well as languages with objects, concurrency, or parallelism. Topics of interest include (but are not limited to): * Language Design: concurrency, parallelism, and distribution; modules; components and composition; metaprogramming; type systems; interoperability; domain-specific languages; and relations to imperative, object-oriented, or logic programming. * Implementation: abstract machines; virtual machines; interpretation; compilation; compile-time and run-time optimization; garbage collection and memory management; multi-threading; exploiting parallel hardware; interfaces to foreign functions, services, components, or low-level machine resources. * Software-Development Techniques: algorithms and data structures; design patterns; specification; verification; validation; proof assistants; debugging; testing; tracing; profiling. * Foundations: formal semantics; lambda calculus; rewriting; type theory; monads; continuations; control; state; effects; program verification; dependent types. * Analysis and Transformation: control-flow; data-flow; abstract interpretation; partial evaluation; program calculation. * Applications: symbolic computing; formal-methods tools; artificial intelligence; systems programming; distributed-systems and web programming; hardware design; databases; XML processing; scientific and numerical computing; graphical user interfaces; multimedia and 3D graphics programming; scripting; system administration; security. * Education: teaching introductory programming; parallel programming; mathematical proof; algebra. * Functional Pearls: elegant, instructive, and fun essays on functional programming. * Experience Reports: short papers that provide evidence that functional programming really works or describe obstacles that have kept it from working. If you are concerned about the appropriateness of some topic, do not hesitate to contact the program chair. Abbreviated instructions for authors ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ * By Friday, 27 February 2015, 23:59 UTC-11 (anywhere in the world), submit a full paper of at most 12 pages (6 pages for an Experience Report) in standard ACM conference format, including bibliography, figures, and appendices. The deadlines will be strictly enforced and papers exceeding the page limits will be summarily rejected. * Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. * Each submission must adhere to SIGPLAN's republication policy, as explained on the web at http://www.sigplan.org/Resources/Policies/Republication * Authors of resubmitted (but previously rejected) papers have the option to attach an annotated copy of the reviews of their previous submission(s), explaining how they have addressed these previous reviews in the present submission. If a reviewer identifies him/herself as a reviewer of this previous submission and wishes to see how his/her comments have been addressed, the program chair will communicate to this reviewer the annotated copy of his/her previous review. Otherwise, no reviewer will read the annotated copies of the previous reviews. Overall, a submission will be evaluated according to its relevance, correctness, significance, originality, and clarity. It should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. The technical content should be accessible to a broad audience. Functional Pearls and Experience Reports are separate categories of papers that need not report original research results and must be marked as such at the time of submission. Detailed guidelines on both categories are on the conference web site. Proceedings will be published by ACM Press. Authors of accepted submissions will have a choice of one of three ways to manage their publication rights. These choices are described at http://authors.acm.org/main.html Presentations will be videotaped and released online if the presenter consents. The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. Formatting: Submissions must be in PDF format printable in black and white on US Letter sized paper and interpretable by Ghostscript. Papers must adhere to the standard ACM conference format: two columns, nine-point font on a ten-point baseline, with columns 20pc (3.33in) wide and 54pc (9in) tall, with a column gutter of 2pc (0.33in). A suitable document template for LaTeX is available at http://www.acm.org/sigs/sigplan/authorInformation.htm Submission: Submissions will be accepted on the web using a link that will be posted at http://icfpconference.org/icfp2015/ Improved versions of a paper may be submitted at any point before the submission deadline using the same web interface. Author response: Authors will have a 72-hour period, starting at 0:00 UTC on Tuesday, 21 April 2015, to read reviews and respond to them. ACM Author-Izer is a unique service that enables ACM authors to generate and post links on either their home page or institutional repository for visitors to download the definitive version of their articles from the ACM Digital Library at no charge. Downloads through Author-Izer links are captured in official ACM statistics, improving the accuracy of usage and impact measurements. Consistently linking the definitive version of ACM article should reduce user confusion over article versioning. After your article has been published and assigned to your ACM Author Profile page, please visit http://www.acm.org/publications/acm-author-izer-service to learn how to create your links for free downloads from the ACM DL. Publication date: The official publication date of accepted papers is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. General Chair: Kathleen Fisher Tufts University (USA) Program Chair: John Reppy University of Chicago (USA) Program Committee: Amal Ahmed Northeastern University (USA) Jean-Philippe Bernardy Chalmers University of Technology (Sweden) Matthias Blume Google (USA) William Byrd University of Utah (USA) Andy Gill University of Kansas (USA) Neal Glew Google (USA) Fritz Henglein University of Copenhagen (Denmark) Gabriele Keller University of New South Wales and NICTA (Australia) Andrew Kennedy Microsoft Research Cambridge (UK) Neelakantan Krishnaswami Birmingham University (UK) Daan Leijen Microsoft Research Redmond (USA) Keiko Nakata Institute of Cybernetics at Tallinn University of Technology (Estonia) Mike Rainey INRIA Rocquencourt (France) Andreas Rossberg Google (Germany) Manuel Serrano INRIA Sophia Antipolis (France) Simon Thompson University of Kent (UK) David Van Horn University of Maryland (USA) Stephanie Weirich University of Pennsylvania (USA)

1 0