8th ACM SIGPLAN Workshop on Generic Programming (WGP 2012)

9 September 2012, Copenhagen, Denmark (co-located with ICFP 2012)

News

  • 2012-09-08: Added final schedule, session chairs, discussants.
  • 2012-07-20: Added preliminary schedule.
  • 2012-06-28: Added list of accepted papers.
  • 2012-06-27: Minor changes.
  • 2012-05-28: Added deadline reminder and link to LaTeX style file.
  • 2012-02-27: CFP is now online.
  • 2012-02-22: Submission is now open.

Schedule

09:00 Welcome
Session 1 (Chair: Andres Löh)
09:10 Nicolas Frisby, Andy Gill and Perry Alexander. A Pattern for Almost Homomorphic Functions. (Discussant: Patrik Jansson)
09:50 José Pedro Magalhães. The Right Kind of Generic Programming. (Discussant: Wouter Swierstra)
10:30 Break
Session 2 (Chair: Ronald Garcia)
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. (Discussant: Neel Krishnaswami)
11:40 Seyed Hossein Haeri, Sibylle Schupp and Jonathan Hüser. Using Functional Languages to Facilitate C++ Metaprogramming (Discussant: Jaakko Järvi)
12:20 Lunch
Session 3 (Chair: Neel Krishnaswami)
14:00 Sam Lindley. Embedding F (Discussant: Jacques Garrigue)
14:40 Steven Keuchel and Johan T. Jeuring. Generic conversions of abstract syntax representations (Discussant: Stephanie Weirich)
15:20 Break
Session 4 (Chair: Jacques Garrigue)
16:00 Ralf Hinze, Daniel James, Thomas Harper, Nicolas Wu and José Pedro Magalhães. Sorting with Bialgebras and Distributive Laws (Discussant: Jeremy Gibbons)
Discussion (Chairs: Andres Löh and Ronald Garcia)
16:40 Open Problems in Generic Programming
17:30 End

CFP and Paper Submission

You can read/download the complete Call for Papers in various formats:

Paper submission is closed.

Instructions and LaTeX style files for the submission can be found at:

Important Dates

Submission deadline: Fri, 01 June 2012
Author notification: Wed, 27 June 2012
Final version due: Tue, 10 July 2012
Workshop: Sun, 09 September 2012

Overview

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.

We welcome contributions on all aspects, theoretical as well as practical, of

  • generic programming,
  • programming with (C++) concepts,
  • meta-programming,
  • programming with type classes,
  • programming with modules,
  • programming with dependent types,
  • type systems for generic programming,
  • polytypic programming,
  • adaptive object-oriented programming,
  • component-based programming,
  • strategic programming,
  • aspect-oriented programming,
  • family polymorphism,
  • object-oriented generic programming,
  • implementation of generic programming languages,
  • static and dynamic analyses of generic programs,
  • and so on.

Organizers

  • Ronald Garcia, University of British Columbia
  • Andres Löh, Well-Typed LLP

Program Committee

  • Anya Helene Bagge, University of Bergen
  • Jacques Carette, McMaster University
  • Manuel Chakravarty, University of New South Wales
  • Ronald Garcia (co-chair), University of British Columbia
  • Jacques Garrigue, Nagoya University
  • Andy Gill, University of Kansas
  • Douglas Gregor, Apple
  • Andrew Kennedy, Microsoft Research Cambridge
  • Neelakantan Krishnaswami, Max Planck Institute for Software Systems
  • Andres Löh (co-chair), Well-Typed LLP
  • Zoltan Porkolab, Eötvös Loránd University
  • Chung‐chieh Shan, University of Tsukuba
 
 
Except where otherwise noted, content on this wiki is licensed under the following license:GNU Free Documentation License 1.2
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki Hosted by CREST