[TYPES/announce] WGP 2012 Call for Participation

Ronald Garcia rxg at cs.cmu.edu
Thu Aug 2 15:59:47 EDT 2012


                              WGP 2012

           8th ACM SIGPLAN Workshop on Generic Programming
                         Copenhagen, Denmark
                     Sunday, September 9th, 2012


                         Co-located with the
   International Conference on Functional Programming (ICFP 2012)

Goals of the workshop

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 program are often quite rich in structure; for
example they may be other programs, types or type constructors, class
hierarchies, or even programming paradigms.

Generic programming techniques have always been of interest, both to
practitioners and to theoreticians, and, for at least 20 years,
generic programming techniques have been a specific focus of research
in the functional and object-oriented programming communities. Generic
programming has gradually spread to more and more mainstream
languages, and today is widely used in industry. This workshop brings
together leading researchers and practitioners in generic programming
from around the world, and features papers capturing the state of the
art in this important area.

Accepted papers and preliminary schedule:

09:00	 Welcome
09:10	 Nicolas Frisby, Andy Gill and Perry Alexander.
        A Pattern for Almost Homomorphic Functions
09:50	 José Pedro Magalhães. The Right Kind of Generic Programming
10:30	 Break
11:00	 Jaakko Järvi, Magne Haveraaen, John Freeman and Mat Marcus.
        Expressing Multi-Way Data-Flow Constraint Systems as a Commutative
        Monoid Makes Many of their Properties Obvious
11:40	 Seyed Hossein Haeri, Sibylle Schupp and Jonathan Hüser.
        Using Functional Languages to Facilitate C++ Metaprogramming
12:20	 Lunch
14:00	 Sam Lindley. Embedding F
14:40	 Steven Keuchel and Johan T. Jeuring.
        Generic conversions of abstract syntax representations
15:20	 Break
16:00	 Ralf Hinze, Daniel James, Thomas Harper, Nicolas Wu and
        José Pedro Magalhães. Sorting with Bialgebras and Distributive Laws
16:40	 Discussion
17:30	 End

See also: http://www.wgp-sigplan.org/2012


* http://www.icfpconference.org/icfp2012/registration.html

Local arrangements (including travel and accommodation):

* http://www.icfpconference.org/icfp2012/local.html

Andres Löh and Ronald Garcia
WGP 2012 Program Co-Chairs


More information about the Types-announce mailing list