| This book contains selected papers from the proceedings presented at the Sixth Symposium on Trends in Functional Programming (TFP05). Continuing the TFP series with its previous instances held in Stirling (1999), St. Andrews (2000), Stirling (2001), Edinburgh (2003) and Munich (2004) the symposium was held in Tallinn, Estland in co-location with ICFP 2005 and GPCE 2005.
TFP (www.tifp.org) aims to combine a lively environment for presenting the latest research results with a formal post-symposium refereeing process leading to the publication by Intellect of a high-profile volume containing a selection of the best papers presented at the symposium. Compared to the earlier events in the TFP sequence the sixth symposium in 2005 was proud to host more participants than ever. This was partly due to the financial support given to many participants via the APPSEM II Thematic Network.
The 2005 Symposium on Trends in Functional Programming (TFP05) was an international forum for researchers with interests in all aspects of functional programming languages, focusing on providing a broad view of current and future trends in Functional Programming. Via the submission of abstracts admission to the symposium was made possible upon acceptance by the program chair. The Tallinn proceedings contain 30 full papers based on these abstracts.
After the Symposium all authors were given the opportunity to improve their papers incorporating personal feedback given at the symposium. These improved papers were refereed according to academic peer-review standards by the TFP05 programme committee. Finally, all submitted papers (student and non-student) were reviewed according to the same criteria. Out of 27 submitted papers the best 14 papers were selected for this book. These papers all fulfill the criteria for academic publication as laid down by the programme committee. |
|
|
 The Turing Test and the Frame Problem: Ai's Mistaken Understanding of IntelligencePart of what it means to be a researcher is to identify what appears to be a relationship that others either have not noticed or have not fully appreciated. Both the Turing test and the frame problem have been significant items of discussion for more than 20 years in the philosophy of artificial intelligence and the philosophy of mind, but there... |  |  |  |  Prince of Mathematics: Carl Friedrich GaussThe author narrates the life of Carl Friedrich Gauss, the 18th century mathematician, from his prodigious childhood to his extraordinary achievements that earned him the title "Prince of Mathematics". Along the way, the author introduces her readers to a different culture, the era of small states in Germany where advancement on merits,... |
|