Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 wgp2000cfp
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.
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: Generic Marking Problems
Richard Bird, Oxford University
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).