This tutorial book presents seven revised lectures given by leading researchers at the 4th International School on Functional Programming, AFP …