hudak-paul@YALE.EDU (Paul Hudak) (09/27/89)
New journal announcement:
JOURNAL OF FUNCTIONAL PROGRAMMING
A new quarterly journal from Cambridge University Press
CALL FOR PAPERS
Background: Functional Programming languages have features that make them
attractive for program synthesis and transformation, parallel
processing and novel architecture computers. Much research is
being devoted to their development. The Journal of Functional
Programming is a new journal, the first to be devoted to this
important area of computer science.
Coverage: The Journal of Functional Programming will provide a focus for
papers and foster research on all aspects of the subject. In
particular, the journal will cover: New languages and extensions;
Reasoning, proof and program transformation; Program synthesis;
Implementation techniques; Type theory; Parallelism; Applications.
Papers on declarative languages that deal with combining
functional and logic languages will also be appropriate.
Frequency: The Journal of Functional Programming will have two issues in its
first year (1990), each of 128 pages. Thereafter it will appear
quarterly.
Readership: 1. Computer scientists in universities and research establishments.
2. Software engineers, including those working in parallelism.
3. Mathematicians working in theoretical computer science.
Submittals: If you would like to submit a paper for possible publication
in the Journal of Functional Programming please send three
copies to one of the Editors listed below.
** Papers received by October 15 will be considered for **
** publication in the first issue. After that date the **
** papers may be considered for the first issue depending **
** on the number of submittals. **
Editors: Professor R.J.M. Hughes and Dr P.L. Wadler, Department of
Computing Science, University of Glasgow, 14 Lilybank Gardens,
Glasgow G12 8RZ, UK
Professor P. Hudak, Department of Computer Science, Yale
University, Box 2158 Yale Station, New Haven, CT 06520, USA
Professor H. Barendregt, Rijksuniversiteit Utrecht, Subfaculteit
Wiskunde, Postbus 80.010, 3508 TA Utrecht, The Netherlands
Subscription: Information about subscriptions may be obtained by writing to:
Journals Publicity Department
Cambridge University Press, FREEPOST
The Edinburgh Building, Shaftesbury Road
Cambridge CB2 1BR, England
(No Postage stamp needed if posted within the UK.)
Enquiries in US & Canada should be sent to:
Cambridge University Press
32 East 57th St.
New York, NY 10022, USA
-------ok@cs.mu.oz.au (Richard O'Keefe) (09/27/89)
In article <8909270321.AA16595@ATHENA.CS.YALE.EDU>, hudak-paul@YALE.EDU (Paul Hudak) writes: > New journal announcement: ... > Papers on declarative languages that deal with combining > functional and logic languages will also be appropriate. Argh! I am struggling hard to keep up with logic programming, and failing. There are already too many relevant journals that I have a hard time getting hold of. The last thing I need is another hole for papers relating to logic languages to disappear down. I'm not arguing against JFP. But would it be at all possible to come to some arrangement with JLP or NGC to arrange for papers relevant to both logic and functional programming to be published in a logic programming journal _as_well_? If it is not possible to do that, at the very least please ensure that extended abstracts of every JFP paper related to logic programming are published in some logic programming journal (JLP for choice). -- GNUs are more derived than other extant alcelaphines,| Richard A. O'Keefe such as bonteboks, and show up later in the fossil | visiting Melbourne record than less highly derived species. (Eldredge) | ok@munmurra.cs.mu.OZ.au