Web Home

This is the website of the Symposium on Trends in Functional Programming 2014. The symposium is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area of functional programming. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium. A formal post-symposium refereeing process then selects a subset of the articles presented at the symposium and submitted for formal publication. We expect that the proceedings will be published in the Springer Lecture Notes in Computer Science series (pending approval).

The TFP symposium is the heir of the successful series of Scottish Functional Programming Workshops. Previous TFP symposia were held in Edinburgh (Scotland) in 2003, in Munich (Germany) in 2004, in Tallinn (Estonia) in 2005, in Nottingham (UK) in 2006, in New York (USA) in 2007, in Nijmegen (The Netherlands) in 2008, in Komarno (Slovakia) in 2009, in Oklahoma (USA) in 2010, in Madrid (Spain) in 2011, in St. Andrews (Scotland) in 2012 and in Provo, Utah (USA) in 2013. For further general information about TFP please see the TFP homepage.

Scope of the Symposium

The symposium recognizes that new trends may arise through various routes. As part of the Symposium’s focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories:

• Research Articles: leading-edge, previously unpublished research work
• Position Articles: on what new trends should or should not be
• Project Articles: descriptions of recently started new projects
• Evaluation Articles: what lessons can be drawn from a finished project
• Overview Articles: summarizing work with respect to a trendy subject

Articles must be original and not submitted for simultaneous publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or more experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium.

Topics suitable for the symposium include:

• Functional programming and multicore/manycore computing
• Functional programming in the cloud
• High performance functional computing
• Extra-functional (behavioural) properties of functional programs
• Dependently typed functional programming
• Validation and verification of functional programs
• Using functional techniques to verify/reason about imperative/object-oriented programs
• Debugging for functional languages
• Functional programming in different application areas: security, mobility, telecommunications applications, embedded systems, global computing, grids, etc.
• Interoperability with imperative programming languages
• Novel memory management techniques
• Program analysis and transformation techniques
• Empirical performance studies
• Abstract/virtual machines and compilers for functional languages
• New implementation strategies
• Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2014 program chair, Jurriaan Hage.

Invited Speakers

We are happy to announce the following two invited speakers for the conference:

• prof. dr. John Hughes of Chalmers, Göteborg, Sweden, designer of QuickCheck (the paper on QuickCheck won the ICFP Most Influential Paper Award in 2010), currently dividing his time between his professorship and his work at Quvic, a company that tests Erlang software.
• dr. Geoffrey Mainland, who got his PhD with Greg Morisett and Matt Welsh at Harvard, and who is now a postdoc at Microsoft Research in Cambridge.

Best Student Paper Award

TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are listed as first authors, and a student would present the paper. A prize for the best student paper is awarded each year.

Submissions and Draft Proceedings

Acceptance of articles for presentation at the symposium is based on a lightweight peer review process of extended abstracts (6 to 10 pages in length) or full papers (16 pages). The submission must clearly indicate which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate whether the main author or authors are research students. Further details and submission procedures will be posted on this site as the submission deadline is approaching.