This tutorial book presents seven carefully revised lectures given at the 6th International School on Functional Programming, AFP 2008, in …
