Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.cs.uu.nl/%7Ejohanj/wgp2000/wgp2000cfp.html
Organizers: Gianna Belle (Genova, Italy), 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)
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.
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.
Date received: March 02, 2000
© 2008 Atlas Conferences Inc.