Trends in Functional Programming Volume 7

This is Volume 7 of Trends in Functional Programming (TFP). It contains a 

refereed selection of the papers that were presented at TFP 2006: the Seventh 

Symposium on Trends in Functional Programming. which took place in Nottingham, 

19-21 April, 2006. 

TFP is an international forum for researchers from all functional programming 

communities spanning the entire width of topics in the field. Its goal is to 

provide a broad view of current and future trends in functional programming in 

a lively and friendly setting, thus promoting new research directions related 

to the field of functional programming and the relationship between functional 

programming and other fields of computer science. 

True to the spirit of TFP, the selection of papers in this volume covers a 

wide range of topics, including dependently typed programming, generic 

programming, purely functional data structures, function synthesis, 

declarative debugging, implementation of functional programming languages, and 

memory management. A particular emerging trend is that of dependently typed 

programming, reflected by a number of papers in the present selection and by 

the co-location of TFP and Types 2006.