Haskell logo

Haskell Symposium 2014

Göteborg, Sweden
4 – 5 September, 2014
(directly after ICFP)
ACM logo

The ACM SIGPLAN Haskell Symposium 2014 will be co-located with the 2014 International Conference on Functional Programming (ICFP), in Göteborg, Sweden.

The purpose of the Haskell Symposium is to discuss experiences with Haskell and future developments for the language.

Topics of interest include, but are not limited to:

  • Language Design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo;

  • Theory, such as formal treatments of the semantics of the present language or future extensions, type systems, and foundations for program analysis and transformation;

  • Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management as well as foreign function and component interfaces;

  • Tools, in the form of profilers, tracers, debuggers, pre-processors, testing tools, and suchlike;

  • Applications, using Haskell for scientific and symbolic computing, database, multimedia, telecom and web applications, and so forth;

  • Functional Pearls, being elegant, instructive examples of using Haskell;

  • Experience Reports, general practice and experience with Haskell, e.g., in an education or industry context.
  • Papers in the latter two categories need not necessarily report original research results; they may instead, for example, report practical experience that will be useful to others, reusable programming idioms, or elegant new ways of approaching a problem. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a program!

    General advice on Functional Pearls and Experience Reports can be found on the ICFP'09 page (but note that our Experience Exports can be 6 instead of 4 pages). On Functional Pearls, see also JFP editorial advice.

    Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work (also for other languages where appropriate).

    In addition, we solicit proposals for system demonstrations, based on running (perhaps prototype) software rather than necessarily on novel research results. Such short demo proposals should explain why a demonstration would be of interest to the Haskell community.

    Please submit your paper or system demonstration proposal through Easychair.

    Important Information

    Programme Committee