An exploration of research in functional programming, featuring an international list of contributors. Topics covered include the exploitation of parallelism, compiler optimization techniques and research in type theory. Practice is not ignored, with papers on topics including an assessment of the applicability of the functional language Haskell for business applications, and a paper describing how to automatically repair type errors - a potentially important tool for users of strongly typed languages.