The primary aim of this series of schools is to make
the participants acquainted with recent developments in the area of
Functional Programming. 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 school emphasises learning by doing.
Thus a substantial amount of time is reserved for actually
using the ideas presented in the lectures in programming exercises. During
the course students will be challenged to solve a number of exercises in
generic program construction by interaction with the lecturer, and by working
together on problems.
Most of the lectures in this Summer School are aimed at some aspect of Generic Programming , i.e., programming in a data-type independent way. Generic programming has a number of advantages. It makes it possible to write programs that solve a class of problems once and for all, instead of writing new code over and over again for each different instance.
Potential participants of the school are, on one hand, people from academia such as students and lecturers, and, on the other hand, people from industry, who are considering using or investigating the use of functional languages in real applications.
Please download and print the first call for participation .
Departamento de Informática | Centro de Informática | Specification and Language Processing Group |
![]() CAMILA Group |
Logic Group |
![]() |
![]() |
Agencia Abreu | Enabler/Sonae | ![]() |