This text's scope covers all aspects of functional programming, theoretical and practical, as well as highlighting: language design; proof and transformation; semantics and models; implementation; applications; type systems; parallelism and distribution; and performance modelling and profiling.