Advanced Functional Programming : 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures - Varmo Vene, Tarmo Uustalu ((Lecture Notes in Computer Science))