Varmo Vene Tarmo Uustalu Advanced Functional Programming, 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures 3622 2005 3-540-28540-7 Advanced Functional Programming Lecture Notes in Computer Science Springer db/conf/afp/afp2004.html