====================================================================== CALL FOR PARTICIPATION
WGP 2014
10th ACM SIGPLAN Workshop on Generic Programming Gothenburg, Sweden Sunday, August 31, 2014
http://www.wgp-sigplan.org/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.
Schedule --------
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 Descriptions 11:00 Thomas Williams, Pierre-Évariste Dagand and Didier Rémy. Ornaments in Practice 11:30 Matthew Roberts and Tony Sloane. Type Inference for the Spine View of Data 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 Arrows 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
Registration ------------
You can register via the ICFP 2014 registration:
https://regmaster4.com/2014conf/ICFP14/register.php
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
Afficher les réponses par date