[Agda] Fwd: JFP Special Issue on Generic Programming

[Conor McBride]

Comrades

Dr Hinze of Oxford requests that I pass on these joyous
tidings to my nearest and dearest. I do so with pleasure.

Cheers

Conor

Begin forwarded message:

> From: Ralf Hinze <ralf.hinze at comlab.ox.ac.uk>
> Date: 7 April 2009 08:18:28 BST
> To: Conor McBride <conor at strictlypositive.org>
> Subject: JFP Special Issue on Generic Programming
>
> PS: Can you also spread the CFP on your local email lists
> and/or among the Dependently-Typed Programming folks.
> Thanks
>
> -------------------------------------------------------------------------------
>
>                             OPEN CALL FOR PAPERS
>
>                   JFP Special Issue on Generic Programming
>
>                           Deadline: 1 October 2009
>
>              http://www.comlab.ox.ac.uk/ralf.hinze/JFP/cfp.html
>
> Scope
> -----
>
> 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 to 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,
> classes, concepts, or even programming paradigms.
>
> This special issue aims at documenting state-of-the-art research, new
> developments and directions for future investigation in the broad
> field of Generic Programming. It is an outgrowth of the series of
> Workshops on Generic Programming, which started in 1998 and which
> continues this year with an ICFP affiliated workshop in
> Edinburgh. Participants of the workshops are invited to submit a
> suitably revised and expanded version of their paper to the special
> issue. The call for papers is, however, open. Other contributions are
> equally welcome and are, indeed, encouraged. All submitted papers will
> be subjected to the same quality criteria, meeting the standards of
> the Journal of Functional Programming.
>
> The special issue seeks original contributions on all aspects of
> generic programming including but not limited to
>
>    o adaptive object-oriented programming,
>    o aspect-oriented programming,
>    o case studies,
>    o concepts (as in the STL/C++ sense),
>    o component-based programming,
>    o datatype-generic programming,
>    o generic programming with dependent types,
>    o meta-programming,
>    o polytypic programming, and
>    o programming with modules.
>
> Submission details
> ------------------
>
> Manuscripts should be unpublished works and not submitted elsewhere.
> Revised versions of papers published in conference or workshop
> proceedings that have not appeared in archival journals are eligible
> for submission.
>
>    Deadline for submission:                   1 October 2009
>    Notification of acceptance or rejection:  15 January 2010
>    Revised version due:                      15 March   2010
>
> For submission details, please consult
>    http://www.comlab.ox.ac.uk/ralf.hinze/JFP/cfp.html
> or see the Journal's web page
>    http://journals.cambridge.org/jfp
>
> Guest Editor
> ------------
>
> Ralf Hinze
> University of Oxford
> Computing Laboratory
> Wolfson Building, Parks Road, Oxford OX1 3QD, UK.
> Telephone: +44 (1865) 610700
> Fax: +44 (1865) 283531
> Email: ralf.hinze at comlab.ox.ac.uk
> WWW: http://www.comlab.ox.ac.uk/ralf.hinze/
>
> -------------------------------------------------------------------------------