期刊名称：JOURNAL OF FUNCTIONAL PROGRAMMING
 期刊简介(About the journal)
投稿须知(Instructions to Authors)
编辑部信息(Editorial Board)
About the journal
|
Journal of Functional Programming is the only journal devoted to this important area of computer science and it spans the range from mathematical theory to industrial practice. Topics covered include functional languages and extensions, implementation techniques, reasoning and proof, program transformation and synthesis, type systems, type theory, language-based security, memory management, parallelism and applications. The journal is of interest to computer scientists, software engineers, programming language researchers and mathematicians interested in the logical foundations of programming. |
 b |
Instructions to Authors
Journal of Functional Programming
1. Scope
2. Book reviews
3. Submission of manuscripts
4. Electronic manuscripts
5. Layout of manuscripts
6. Illustrations
7. References
8. Proofreading
9. Offprints
Scope
Papers may describe original technical work, survey an area, or present a tutorial; and may be either short or long. Anything related to functional programming is of interest, including: foundations (semantics, abstract interpretation, lambda calculi, rewriting, logic, type theory, category theory); implementation (compilation, architectures, parallelism, garbage collection, I/O, debugging, profiling); linguistics (pure and impure language features, non-determinism, side effects, logical variables, relation to other programming paradigms, proofs about programs, program transformation, program synthesis, partial evaluation); applications (applications programs, practical experience, programming techniques, prototyping).
Book reviews
Books for review, or suggestions for reviews, should be sent to the reviews editor Simon Thompson.
Submission of manuscripts
General advice is available at http://journals.cambridge.org/action/displaySpecialPage?pageId=660 .
Manuscripts for consideration for the Journal of Functional Programming should be submitted electronically, using the Manuscript Central System, via http://mc.manuscriptcentral.com/cup/jfp_submit. This system will allow authors to benefit from faster review and earlier, online publication. The system will accept PDF files; most other files types will be automatically converted directly into PDF. Source files are required for any paper accepted for publication. Authors who are unable to submit online should contact the Editorial Office (jfp-ed@cambridge.org) for assistance. The guidelines we offer to JFP referees are available at http://journals.cambridge.org/action/displaySpecialPage?pageId=656 .
Authors may want to consult them to get an idea of the criteria that will be applied by referees. Electronic submission is encouraged: send e-mail containing a copy of the paper in PDF or Postscript form. Any method of producing PDF or Postscript is fine, but LaTeX is recommended as it can also be used for typesetting the final paper; see below. Alternatively, post four hard copies of the paper. Submissions should be accompanied by the author's mailing address, telephone and fax number, and, if possible, an electronic mailing address. Electronic submissions should also be accompanied by a separate e-mail including the title of the paper, the authors, its length in pages, and a clear-text copy of the abstract.
The Journal of Functional Programming encourages authors of workshop and conference papers to submit enhanced versions of the same work to JFP. Typically, the version submitted to JFP should contain additional discussion, examples, or proofs. Only if a workshop or conference paper is exceptionally well presented and complete is it suitable for journal publication without significant revision. If another publisher holds copyright on an earlier version of an article, the enhanced version must differ sufficiently so that the author can assign copyright to Cambridge University Press.
Electronic manuscripts
The publisher encourages submission of manuscripts written in LaTeX which can be used for direct typesetting.
Authors using LaTeX should use the JFP LaTeX class file. This, along with related files, can be obtained using anonymous FTP from ftp://ftp.cambridge.org/pub/texarchive/journals/latex/jfp-cls . If you have difficulties obtaining these files, there is a help-line available via e-mail; please contact texline@cup.cam.ac.uk . While use of the JFP LaTeX class file is preferred, plain LaTeX or TeX files can also be accepted.
Web-accessible accompanying material for your paper
You are encouraged to supply supporting material for your paper, which JFP will make permanently accessible over the Web. See http://journals.cambridge.org/action/displaySpecialPage?pageId=660 for more details.
Layout of manuscripts
Manuscripts should begin with an abstract of not more than 300 words. Papers should conform to a good standard of English prose; please consult a style guide such as ¡®The Elements of Style¡¯ by Strunk and White, Macmillan, New York. It is encouraged to present programs in one of two styles: either with identifiers in italic and keywords in bold, or entirely in a fixed-width teletype font. Do not begin a sentence with a symbol or identifier name. Please supply Web URLs for the home page of each of the authors of the paper. These are used when generating the JFP bibliography and author index. People searching the JFP indexes will then be able to find their way to your home page easily.
References
The Harvard system of references should be used. Citations are by author's surname and year of publication, and may stand either as a noun phrase (e.g., "Curry (1933)") or as a parenthetical note (e.g., "(Curry 1933)'). List references at the end of the text in alphabetical order. A typical entry is: Curry, H. B. (1933) Apparent variables from the standpoint of mathematical logic, Ann. of Math., 34 (2): 381-404.
In the case of a reference to a conference, please give its year and location. There is no need to give the location of a publisher.
Use the jfp.bst file in conjunction with your bibtex database.
Illustrations
Figures should be drawn in indian ink on good quality white paper or produced by computer to comparable quality. Wherever possible they will be reproduced with the author's original lettering. Originals of figures should not be sent until the paper has been accepted. A list of captions for figures supplied as hardcopy should be attached separately.
Proofreading
Only typographical or factual errors may be changed at the proof stage. The publisher reserves the right to charge for correction of non-typographical errors. No page charge is made. JFP¡¯s policy is to follow the spelling convention (American or British) of the author(s).
Offprints
No paper offprints are provided, but the corresponding author will be sent the pdf of the published article.
Instructions to Authors
0956-7968.pdf
Editorial Board
Editor-in-Chief
Professor Simon L. Peyton Jones
Microsoft Research Ltd
7 JJ Thompson Avenue
Cambridge CB3 OFB
UK
Email simonpj@microsoft.com
Professor Philip L. Wadler
Avaya Laboratories
233 Mount Airy Road
Basking Ridge NJ 07920
USA
Email wadler@avaya.com Editor
Professor Paul Hudak
Department of Computer Science
Yale University
New Haven CT 06520
USA
Email paul.hudak@yale.edu
Professor Eugenio Moggi
DISI
Universita di Genova
Via Dodecaneso 35
I-16146 Genova
Italy
Email Moggi@disi.unige.it
Professor Greg Morrisett
Department of Computer Science
Cornell University
4133 Upson Hall
Ithaca NY 14853-7501
USA
Email jgm@cs.cornall.edu Functional Pearl Editor
Professor Richard S. Bird
Oxford University Computing Laboratory
Programming Research Group
8?1 Keble Road
Oxford
OX1 3QD
Email bird@comlab.ox.ac.uk Theoretical Pearl Editor
Professor Henk Barendregt
Catholic University of Nijmegen
Faculty of Mathematics and Computer Science
Toernooiveld 1
NL-6525 ED Nijmegen
The Netherlands
Email henk@cs.kun.nl Educational Pearl Editor
Dr Matthias Felleisen
College of Computer Science
Northeastern University
Boston
MA 02115
USA
Email matthias@ccs.neu.edu Book Review Editor
Dr Simon Thompson
Computing Laboratory
University of Kent at Canterbury
Canterbury
Kent
CT2 7NF
Email s.j.thompson@ukc.ac.uk Editorial Board
Dr Luca Cardelli
Microsoft Research Ltd, Cambridge, UK
Dr Manuel Chakravarty
University of New South Wales, Australia
Dr William D. Clinger
Sun Microsystems, USA
Professor Thierry Coquand
Chalmers University of Technology, Göteborg, Sweden
Email coquand@cs.chalmers.se
Dr Olivier Danvy
University of Aarhus, Denmark
Professor Robert Harper
Carnegie Mellon University, USA
Professor Fritz Henglein
University of Copenhagen, Denmark
Dr Mark Jones
Oregon Graduate Institute of Science & Tech., USA
Dr Shriram Krishnamurthy
Brown University, USA
Dr John Launchbury
Oregon Graduate Institute, USA
Dr Xavier Leroy
INRIA Rocquencourt, France
Professor Martin Odersky
Ecole Polytechnique Federale de Lausanne, Switzerland
Professor Benjamin C. Pierce
University of Pennsylvania, USA
Dr Didier Remy
INRIA Rocquencourt, France
Professor Zhong Shao
Yale University, USA
Professor Olin Shivers
Georgia Institute of Technology, USA
Professor Mitchell Wand
Northeastern University, Boston, USA
| 
