This tutorial book presents nine carefully revised lectures given at the 5th International School on Functional Programming, AFP 2004, in …