Advanced functional programming : 5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures - Vene, Varmo; Uustalu, Tarmo (Lecture notes in computer science ;, 2005)