7th ACM SIGPLAN Workshop on Generic Programming (WGP 2011)

News

  • [2011/09/05] Programme updated with discussants.
  • [2011/08/29] All talks in the programme are moved 30 minutes later, due to the opening time of the venue.
  • [2011/07/13] Programme announced.
  • [2011/07/01] List of accepted papers announced.
  • [2011/06/05] In case you have questions about the deadline, and possibilities for further extensions, please contact the PC chairs.
  • [2011/06/01] Added a link to the submission page on Easy Chair.
  • [2011/05/30] The submission deadline has been extended, by two days, to Wednesday, 8th June, 2011, at Samoa time 23:59.

Programme

Each presentation slot is 40 minutes using a discussant format (25m presentation + 5m for the discussant + 10m for general discussion).

  • 9:30 - 10:50 Session 1 (Chair: Shin-Cheng Mu)
    • Welcome + PC chair report, Jaakko Järvi and Shin-Cheng Mu.
    • Generic Programming with Indexed Functors. Andres Löh, José Pedro Magalhães.
      • Discussant: Patrik Jansson.
    • Modularising inductive families. Hsiang-Shang Ko, Jeremy Gibbons.
      • Discussant: Venanzio Capretta.
  • 10:50 - 11:10 Tea Break
  • 11:10 - 12:30 Session 2 (Chair: Makoto Hamana)
    • Embedding Polymorphic Dynamic Typing. Thomas Van Noort, Wouter Swierstra, Peter Achten, Rinus Plasmeijer.
      • Discussant: Andres Löh.
    • Generic Programming for Indexed Datatypes. José Pedro Magalhães, Johan Jeuring.
      • Discussant: Sebastian Fischer
  • 12:30 - 14:10 Lunch Break
  • 14:10 - 15:30 Session 3 (Chair: Russell O'Connor)
    • Towards a Categorical Foundation for Generic Programming. Ralf Hinze, Nicolas Wu.
      • Discussant: Jeremy Gibbons.
    • A Generic Foundation for GADTs and Dependent Types: Polynomial Functor Approach. Makoto Hamana, Marcelo Fiore.
      • Discussant: Tarmo Uustalu
  • 15:30 - 16:00 Tea Break
  • 16:00 - 18:00 Session 4 (Chair: Akimasa Morihata)
    • ConceptClang: An Implementation of C++ Concepts in Clang. Larisse Voufo, Marcin Zalewski, Andrew Lumsdaine.
      • Discussant: Jaakko Järvi.
    • Functor is to Lens as Applicative is to Biplate: Introducing Multiplate. Russell O'Connor.
      • Discussant: Kazutaka Matsuda.
    • Compositional Data Types. Patrick Bahr, Tom Hvitved.
      • Discussant: José Pedro Magalhães.

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,
  • polytypic programming,
  • object-oriented generic programming,
  • adaptive object-oriented programming,
  • component-based programming,
  • strategic programming,
  • aspect-oriented programming,
  • family polymorphism,

and so on.

Plain text (4.41 KiB, 530 downloads) and PDF (65.76 KiB, 2 downloads) versions of our Call-For-Paper are available online.

Organisers

Co-Chairs

Jaakko Järvi (Texas A&M University, USA) and Shin-Cheng Mu (Academia Sinica, Taiwan).

Program Committee

Submission Details

Here is the submission page.

We plan to have formal proceedings, published by the ACM.

  • Deadline for submission: Monday 2011-06-06 <html>(extended to Wednesday, 2011-06-08, at <a href=“http://www.worldtimeserver.com/convert_time_in_WS.aspx?y=2011&mo=6&d=8&h=23&mn=59”>Samoa time 23:59</a>). In case you have questions about the deadline, and possibilities for further extensions, please contact the PC chairs.</html>
  • Notification of acceptance: Tuesday 2011-07-01
  • Final submission due: Monday 2011-07-25
  • Workshop: Sunday 2011-09-18

Authors should submit papers, in postscript or PDF format, formatted for A4 paper, to the WGP11 EasyChair instance by the above deadline. The length should be restricted to 12 pages in standard (two-column, 9pt) ACM format. Each submission must adhere to SIGPLAN's republication policy. Accepted papers are published by the ACM and will additionally appear in the ACM digital library.

History of the Workshop on Generic Programming

This year:

Earlier Workshops on Generic Programming have been held in

Furthermore, there were a few informal workshops

There were also (closely related) DGP workshops in Oxford (June 3-4 2004), and a Spring School on DGP in Nottingham (April 24-27 2006, which had a half-day workshop attached).

The WGP steering committee consists of J. Gibbons, R. Hinze, P. Jansson, J. Järvi, J. Jeuring, B. Oliveira, S. Schupp, and M. Zalewski. Visit the WGP Permanent Home Page for general information about WGP.

 
[unknown button type]
 
Except where otherwise noted, content on this wiki is licensed under the following license: GNU Free Documentation License 1.3
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki Hosted by CREST