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:

several language extensions for generic programming (PolyP,DrIFT,FML,AOOP,FiSH);
lots of examples of generic programming (generalized tries, unification, data compression, XML applications) ;
programming calculi for generic programming.

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

Invited Talk

Richard Bird

10:00 - 10:30

Break

10:30 - 11:00

Efficient Generalized Folds

Ralf Hinze

11:00 - 11:30

Dealing with Large Bananas

Ralf Lämmel

11:30 - 12:00

Ten minute slots, discussion. 12:00 - 14:00

Lunch

14:00 - 14:30

Towards merging recursion and comonads.

Alberto Pardo

14:30 - 15:00

Coding Recursion a la Mendler

Tarmo Uustalu

Varmo Vene

15:00 - 15:30

Ten minute slots, discussion. 15:30 - 16:00

Break

16:00 - 16:30

Language Independent Traversals for Program Transformation

Eelco Visser

16:30 - 17:00

A framework for polytypic programming on terms, with an application to rewriting.

Patrik Jansson

Johan Jeuring

17:00-17:30

Memo functions, polytypically!

Ralf Hinze

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

Patrik Jansson (Chalmers, Sweden)
Ralf Hinze (Bonn, Germany)
Graham Hutton (Nottingham, Great Britain)
Johan Jeuring (Utrecht, The Netherlands, chair)
Colin Runciman (York, Great Britain)
Fritz Ruehr (Willamette, USA)
Tim Sheard (OGI, USA)
Doaitse Swierstra (Utrecht, The Netherlands)

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/