[TYPES/announce] WGP 2012 Call for Participation
Ronald Garcia
rxg at cs.cmu.edu
Thu Aug 2 15:59:47 EDT 2012
======================================================================
CALL FOR PARTICIPATION
WGP 2012
8th ACM SIGPLAN Workshop on Generic Programming
Copenhagen, Denmark
Sunday, September 9th, 2012
http://www.wgp-sigplan.org/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
REGISTRATION IS NOW OPEN:
-------------------------
* http://www.icfpconference.org/icfp2012/registration.html
* EARLY REGISTRATION DEADLINE: 9th August, 2012
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