6th Symposium on Trends in Functional Programming TFP 2005