Atze Dijkstra, S. Doaitse Swierstra (auth.), Varmo Vene, Tarmo Uustalu (eds.)

Advanced Functional Programming: 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures