This volume of conference proceedings offers a view of the latest work in functional programming. A number of themes emerge. One is a growing interest in types, such as powerful type systems or type checkers supporting overloading, coercion, dynamic types and incremental inference, linear types to optimize storage, and polymorphic types to optimize semantic analysis.