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 BibTeX

Atze Dijkstra, S. Doaitse Swierstra:
Typing Haskell with an Attribute Grammar. 1-72
Electronic Edition (link) BibTeX
John Hughes:
Programming with Arrows. 73-129
Electronic Edition (link) BibTeX
Conor McBride:
Epigram: Practical Programming with Dependent Types. 130-170
Electronic Edition (link) BibTeX
Alberto Pardo:
Combining Datatypes and Effects. 171-209
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Rinus Plasmeijer, Arjen van Weelden:
A Functional Shell That Operates on Typed and Compiled Applications. 245-272
Electronic Edition (link) BibTeX
Bernard Pope:
Declarative Debugging with Buddha. 273-308
Electronic Edition (link) BibTeX
Peter Thiemann:
Server-Side Web Programming in WASH. 309-330
Electronic Edition (link) BibTeX
Simon Thompson:
Refactoring Functional Programs. 331-357
Electronic Edition (link) BibTeX