Summer School and Workshop on
Advanced Functional Programming
St Anne's College, Oxford
19th to 24th August 2002
In this school we want to bring computer scientists, in particular
young researchers and programmers, up to date with the latest advanced
functional programming techniques. We do this by using advanced
functional programming techniques in "programming in the real world".
Thus we hope to bridge the gap between results presented at
programming conferences and material from introductory textbooks
on functional programming.
This is the fourth advanced functional programming school. The previous
schools were held in Bastad (Sweden, LNCS 925), Olympia (Washington, USA,
LNCS 1129), and Braga
(Portugal, LNCS 1608). Each of these schools was considered an
interesting and great experience by almost all participants.
There will be a number of in depth lectures about advanced functional
programming techniques, taught by the experts in the field.
Lectures are aimed especially at showing new programming techniques,
introducing new language constructs, and presenting interesting
application areas. Another important goal is to provide that kind of
information which enables participants to use functional programming
in their daily life, after returning from the school.
The lectures are accompanied by practical problems to be solved by the
participants at the school. The school emphasises learning by doing.
We expect that the ancient university town
Oxford will add an
extra dimension to the school.
In addition, on the afternoon of Monday 19th August there will be a
half-day Introduction to Functional
Programming (including the countdown problem), presented by Graham Hutton
(University of Nottingham). You can register your interest in this
on the registration form.
Jeremy Gibbons (University of Oxford):
Arithmetic Coding with Folds and Unfolds
(University of New South Wales):
Fast Arrays in Haskell
(Northeastern University, Boston):
Developing Interactive Web Programs in DrScheme
Fournet (Microsoft Research) and Fabrice Le
Fessant (INRIA Rocquencourt):
Jocaml, a Language for Concurrent, Distributed and Mobile
Robots, Arrows and Functional Reactive Programming (Lecture,Yampa)
(Chalmers University of Technology) and Colin Runciman
(University of York):
Testing and Tracing Lazy Functional Programs
XQuery: A Typed Functional Language for Querying XML
The lecture notes of the school will be published by Springer in their
- For registration with an early-bird discount:
- 17th May 2002
- For late registration:
- 12th July 2002
- PDF poster:
- AFP, c/o Jane Ellory, Oxford University Computing Laboratory,
Building, Parks Road, Oxford OX1 3QD, United Kingdom.
- +44 1865 273839; mark "fao SSAFP (Jane Ellory)"
Gibbons, January 2002.