hudak-paul@cs.yale.edu (Paul Hudak) (02/06/91)
****************************************************************************
CALL FOR PAPERS
Conference on Functional Programming Languages and
Computer Architecture
Cambridge, Massachusetts, August 28-30, 1991
*Sponsored by IFIP WG 2.8, ACM SIGPLAN/SIGARCH, and Harvard University
The fifth in a series of conferences on Functional Programming
Languages and Computer Architectures will cover the theory, design,
implementation, and application of functional or applicative
programming languages. Topics include (but are not limited to):
language design, type theory, formal semantics; program transformation,
calculational program development, programming methods; compile-time
analysis, compilation techniques and optimisation; partial evaluation,
tools, applications; generalisations of the functional programming
paradigm; parallelism, non-determinism, and research on new computer
architectures designed to support functional programming. Papers
accepted for the conference must contain material not presented
previously in any formal forum.
Authors should submit five copies of a {\it full\/} paper, and
fourteen additional copies of a 300-word abstract to the Chairman of
the Program Committee (if copying facilities are not available one
copy will do). Submissions should be double spaced or typeset
10-point on 16-point spacing. Names and affiliations of authors
should appear on both paper and abstract. Papers will be judged on
relevance, clarity, correctness, originality and significance.
Submissions must be received by March 1st, 1991, and should include a
return postal address and an electronic address wherever possible.
Authors will be notified of acceptance or rejection by May 3rd, 1991.
Full versions of the accepted papers must be received in camera-ready
form by June 3rd, 1991, for inclusion in the proceedings. Authors of
accepted papers will be expected to sign an ACM copyright release
form. Proceedings will be published by ACM Press and will be
distributed at the symposium.
Program Committee Chair Program Committee
John Hughes Arvind, MIT, USA
Attn: FPCA '91 Lennart Augustsson, Chalmers University, Sweden
Dept of Computing Science Geoffrey Burn, Imperial College London, GB
University of Glasgow Warren Burton, Simon Fraser University, Canada
Glasgow G12 8QQ Luca Cardelli, DEC SRC, USA
Scotland Paul Hudak, Yale University, USA
Neil Jones, Copenhagen University, Denmark
Michel Mauny, INRIA, France
Lambert Meertens, CWI & Utrecht U., The Netherlands
Robin Milner, Edinburgh University, GB
Mike Reeve, ECRC, West Germany
+44 41 330 4454 Colin Runciman, York University, GB
rjmh@cs.glasgow.ac.uk Mitch Wand, Northeastern University, USA
Local Arrangements Chair Conference Chair
Robert Muller John Williams
Aiken Computation Lab. IBM Almaden Research Center K53-803
Harvard University 650 Harry Road
Cambridge, MA 02138 San Jose, CA 95120
(617) 495-8427 (408) 927-1888
muller@harvard.edu williams@ibm.com
*International Federation for Information Processing:
Working Group 2.8 on Functional Programming.
*Association for Computing Machinery:
Special Interest Group on Programming Languages,
Special Interest Group on Computer Architecture.
Sponsorships pending approval.
****************************************************************************