About the Conference

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 (see below), 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, as a Springer Lecture Notes in Computer Science volume, as they were for the TFP 2010 selected papers.

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, and in Oklahoma (USA) in 2010. For further general information about TFP please see the TFP homepage .

Articles on the following subject areas are particularly welcome:

• Dependently typed functional programming
  • Validation and verification of functional programs
  • Debugging for functional languages
  • Functional programming in different application areas: security, mobility, telecommunications applications, embedded systems, global computing, grids, etc.
  • Functional languages for reasoning about imperative/object-oriented programs
  • Interoperability with imperative programming languages
  • Novel memory management techniques
  • Program 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

Conference Dates