TFP 2003 Fourth symposium on Trends in Functional Programming September 11th-12th 2003, Edinburgh, Scotland http://homepages.inf.ed.ac.uk/stg/workshops/TFP/

This year's workshop is co-located with the 15th International Workshop on the Implementation of Functional Languages (IFL '03) http://www.macs.hw.ac.uk/~ifl03.

Papers on any aspect of functional programming are welcome. Papers on the following subject areas are particularly welcome.

• rich type systems, including type systems for expressing resource bounds or other safety properties;
• linear type systems, soft type systems, typeful programming;
• formal aspects of functional programming, semantics, reasoning, verification;
• inductive or co-inductive techniques, proof nets;
• mobile-code functional programming languages;
• parallel programming with functional languages, cost models for functional programs;
• compilation of functional languages for the Java Virtual Machine;
• functional aspects of imperative programming, functional bytecode;
• interoperability with imperative programming languages, calling imperative from functional or vice versa;
• type inference algorithms, type error repair, deep types;
• strongly-typed imperative languages with inference (e.g. Cyclone);
• performance measurements, optimisation techniques, implementation techniques;
• experience papers: applications of functional programming or functional programming in education.

The on-site proceedings of the workshop can be found here.
 

We intend to publish a high-quality subset of contributions in the Intellect Trends in Functional Programming series. All speakers attending the workshop are invited to submit a paper. Papers for the Intellect book will be refereed according to normal conference standards. This implies (among other things) that:

• the paper should be written in English
• the paper is well written
• the topic of the paper should be stated clearly
• the approach to solve the problem should be outlined clearly
• a detailed discussion of the solution has to be given
• the solution is compared with relevant related work
• there is an abstract, introduction and conclusion.
• the conclusion should summarise the problem, the solution, and how this solves the problem.
• full papers must not exceed 16 pages.
• short papers must not exceed 8 pages.
• the paper should conform to the TFP format.
• the paper should be submitted as an Adobe PDF file by email to the workshop chair, Stephen Gilmore <stg@inf.ed.ac.uk>.

All attendees are encouraged to submit papers to be published in the draft proceedings and to give presentations at the workshop. Submitted papers must be written in English.

• Full papers must not exceed 16 pages.
• Short papers must not exceed 8 pages.

The TFP workshop series continues the Scottish Functional Programming Workshop series. The previous SFPW meetings were Stirling (2001), St. Andrews (2000), Stirling (1999).
 

IFL and TFP are sponsored this year by the British Computer Society Formal Aspects of Computing Science special interest group. TFP has been supported this year by the Mobile Resource Guarantees project.

        

Web page maintained by Stephen Gilmore. Last modified: Tue Nov 18 15:32:26 GMT 2003