[gambit-list] Call for participation: Workshop on Generic Programming

José Pedro Magalhães dreixel at gmail.com
Sat Jul 12 05:59:49 EDT 2014

                         CALL FOR PARTICIPATION

                               WGP 2014

            10th ACM SIGPLAN Workshop on Generic Programming
                          Gothenburg, Sweden
                        Sunday, August 31, 2014


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

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.


09:00 Welcome
Session 1
09:10 Bruno C. d. S. Oliveira. Functional Programming, Object-Oriented
Programming and Algebras! (invited talk)
10:00 Coffee break
Session 2
10:30 Larry Diehl and Tim Sheard. Generic Constructors and Eliminators from
11:00 Thomas Williams, Pierre-Évariste Dagand and Didier Rémy. Ornaments in
11:30 Matthew Roberts and Tony Sloane. Type Inference for the Spine View of
12:00 Lunch
Session 3
14:00 Alexander Slesarenko, Alexander Filippov and Alexey Romanov.
First-class Isomorphic Specialization by Staged Evaluation
14:30 Sam Lindley. Algebraic Effects and Effect Handlers for Idioms and
15:00 Larisse Voufo, Marcin Zalewski and Andrew Lumsdaine. Scoping Rules on
a Platter – A Framework for Understanding and Specifying Name Binding
15:30 Tea break
Session 4
16:00 Patrick Bahr. Composing and Decomposing Data Types – A Closed Type
Families Implementation of Data Types à la Carte
16:30 Edsko de Vries and Andres Löh. True Sums of Products
17:00 End


You can register via the ICFP 2014 registration:


Early registration deadline is 3 August.

Program Committee

José Pedro Magalhães (co-chair), University of Oxford
Tiark Rompf (co-chair), Oracle Labs & EPFL
Peter Achten, Radboud University Nijmegen
Nada Amin, Ecole Polytechnique Fédérale de Lausanne (EPFL)
Pierre-Évariste Dagand, INRIA Paris-Rocquencourt
Fritz Henglein, University of Copenhagen
Andrew Lumsdaine, Indiana University
Alexander Slesarenko, Huawei Labs & Keldysh Institute of Applied
Mathematics (KIAM)
Anthony M. Sloane, Macquarie University
Wouter Swierstra, Utrecht University
Meng Wang, Chalmers University of Technology

WGP Steering Committee

Shin-Cheng Mu (chair)
Jaako Järvi
Andres Löh
Ronald Garcia
Jacques Carette
Jeremiah Willcock
Tim Sheard
Stephanie Weirich
Tarmo Uustalu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.iro.umontreal.ca/pipermail/gambit-list/attachments/20140712/20045af9/attachment.htm>

More information about the Gambit-list mailing list