From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id F2BC37ED5C for ; Wed, 1 Aug 2012 07:01:17 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of garrigue@math.nagoya-u.ac.jp) identity=pra; client-ip=133.6.130.5; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="garrigue@math.nagoya-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of garrigue@math.nagoya-u.ac.jp) identity=mailfrom; client-ip=133.6.130.5; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="garrigue@math.nagoya-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mailhost.math.nagoya-u.ac.jp) identity=helo; client-ip=133.6.130.5; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="postmaster@mailhost.math.nagoya-u.ac.jp"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AloBALC3GFCFBoIFl2dsb2JhbABFhXu0JQEBAQEBCBYHO4JEBiABJBMzAhgOAj8gHIgDBQeoH26DRgGGaYh9B4EhiiiFdzJglUqLDYdh X-IronPort-AV: E=Sophos;i="4.77,691,1336341600"; d="scan'208";a="168740898" Received: from rabbit.math.nagoya-u.ac.jp (HELO mailhost.math.nagoya-u.ac.jp) ([133.6.130.5]) by mail1-smtp-roc.national.inria.fr with ESMTP; 01 Aug 2012 07:01:15 +0200 Received: from mailhost.math.nagoya-u.ac.jp (localhost [127.0.0.1]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id 800DD62D7 for ; Wed, 1 Aug 2012 14:01:12 +0900 (JST) Received: from mailhost.math.nagoya-u.ac.jp (localhost [127.0.0.1]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id 5611540D7; Wed, 1 Aug 2012 14:01:12 +0900 (JST) DomainKey-Signature: h=Received:From:Content-Type:Content-Transfer-Encoding:Subject:Date:To:Message-Id:Mime-Version:X-Mailer; b=; c=nofws; d=math.nagoya-u.ac.jp; q=; s=alpha Received: from tanpopo.home (AMontpellier-257-1-128-211.w92-143.abo.wanadoo.fr [92.143.195.211]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTPSA id D169A24E9; Wed, 1 Aug 2012 14:01:09 +0900 (JST) From: Jacques Garrigue Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Date: Wed, 1 Aug 2012 07:01:04 +0200 To: Mailing OCaML Message-Id: <05E2996F-AE7E-4093-A665-20623F4C1FB5@math.nagoya-u.ac.jp> Mime-Version: 1.0 (Apple Message framework v1084) X-Mailer: Apple Mail (2.1084) Subject: [Caml-list] WGP 2012 Call for Participation Dear Camlers, Here is the Call for Participation for WGP. This year some presentations use OCaml :-) Jacques Garrigue =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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=C3=A9 Pedro Magalh=C3=A3es. The Right Kind of Generic Programming 10:30 Break 11:00 Jaakko J=C3=A4rvi, 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=C3=BCser. 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=C3=A9 Pedro Magalh=C3=A3es. Sorting with Bialgebras and Distrib= utive 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=C3=B6h and Ronald Garcia WGP 2012 Program Co-Chairs --------------------------------------------------------------------