5. Advanced Functional Programming School 2004: Tartu, Estonia

Varmo Vene, Tarmo Uustalu (Eds.): Advanced Functional Programming, 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures. Lecture Notes in Computer Science 3622 Springer 2005, ISBN 3-540-28540-7

Atze Dijkstra, S. Doaitse Swierstra:
Typing Haskell with an Attribute Grammar. 1-72
John Hughes:
Programming with Arrows. 73-129
Conor McBride:
Epigram: Practical Programming with Dependent Types. 130-170
Alberto Pardo:
Combining Datatypes and Effects. 171-209
Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden:
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications. 210-244
Rinus Plasmeijer, Arjen van Weelden:
A Functional Shell That Operates on Typed and Compiled Applications. 245-272
Bernard Pope:
Declarative Debugging with Buddha. 273-308
Peter Thiemann:
Server-Side Web Programming in WASH. 309-330
Simon Thompson:
Refactoring Functional Programs. 331-357