Workshop on Generic Programming

6th July 2000

Ponte de Lima , Portugal

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

Description

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.


Topics

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.


Programme

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

Registration

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

 

Address

Johan Jeuring
Department of Computer Science
Utrecht University
P.O.Box 80.089
NL-3508 TB Utrecht
The Netherlands
email: johanj@cs.uu.nl
url: http://www.cs.uu.nl/~johanj/