Workshop on Generic Programming

6th July 2000

Ponte de Lima , Portugal

[Topics, Programme, Registration, Prog. Comm.,Address ]


Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a generic programs are often quite rich in structure. For example they may be other programs, types or type constructors, kinds, or even programming paradigms.

This workshop follows on the 5th Mathematics of Program Construction conference.

This is the second workshop on generic programming, the first workshop on generic programming (proceedings) was held on Marstrand, Sweden, in 1998.


Generic programming techniques have always been of interest, both to practitioners and theoreticians, but have rarely been a specific focus of research, until recently. In the last couple of years we have seen: We solicitted papers on these topics. The list of topics is not exclusive: papers on other topics related to generic programming were also welcome.


The proceedings (preface) of the workshop have been published as a technical report (UU-CS-2000-19) at Utrecht University.

9:00 - 10:00

10:00 - 10:30 10:30 - 11:00 11:00 - 11:30 11:30 - 12:00 12:00 - 14:00 14:00 - 14:30 14:30 - 15:00 15:00 - 15:30 15:30 - 16:00 16:00 - 16:30 16:30 - 17:00 17:00-17:30


To register, use the on-line registration form available from MPC 2000 website. You may choose to register for the workshop only or for the whole event (MPC 2000 and workshops).

 Programme Committee



Johan Jeuring
Department of Computer Science
Utrecht University
P.O.Box 80.089
NL-3508 TB Utrecht
The Netherlands