AFP 2004

5th International Summer School on
Advanced Functional Programming

Tartu, Estonia
14-21 August, 2004

AFP is a series of international summer schools which aims to bring computer scientists, in particular young researchers and programmers, up to date with the latest advances in practical functional programming. The main focus of the school is on the interface between results presented at programming conferences and the programming in the real world.

This is the fifth event in the series. It is organized by the Department of Computer Science of the University of Tartu in conjunction with the Centre for Dependable Computing. The previous schools were held in Båstad (Sweden, 1995), Olympia (Washington, USA, 1996), Braga (Portugal, 1998) and Oxford (UK, 2002).


John Hughes (Chalmers University of Technology):
Programming with Arrows (abstract)

Conor McBride (University of Durham):
Epigram: Dependent Types for Practical Programming (abstract)

Alberto Pardo (University de la Republica, Montevideo):
Combining Datatypes and Effects (abstract)

Rinus Plasmeijer (University of Nijmegen):
A Strongly Typed Functional Operating System Based on Dynamics (abstract)
Generic Programming Techniques for the Construction of Graphical User Interfaces (abstract)

Bernie Pope (University of Melbourne):
Declarative Debugging with Buddha (abstract)

Doaitse Swierstra (Utrecht University) and Atze Dijkstra (Utrecht University):
Typing Haskell with an Attribute Grammar (abstract)

Peter Thiemann (University of Freiburg):
Server-side Web Programming in WASH (abstract)

Simon Thompson (University of Kent):
Refactoring Functional Programs (abstract)

The lecture notes of the school appeared as Lecture Notes in Computer Science, v. 3622 of Springer.

LNCS Banner


June 11, 2004 Early registration deadline
July 9, 2004 Late registration deadline


Varmo Vene
Tarmo Uustalu
Johan Jeuring
University of Tartu
Institute of Cybernetics
Utrecht University


Tiigriülikool Programme

Ministry of Education and Research (via the centres of excellence in research programme)

APPSEM II - FP5 IST thematic network Applied Semantics II

Last update 16 July 2004 
  Valid HTML 4.01!