dswise@iuvax.cs.indiana.edu (David S. Wise) (07/02/89)
THE FOURTH INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING
LANGUAGES AND COMPUTER ARCHITECTURE
11--13 September, 1989
Imperial College, London UK
Sponsored by the Association for Computing Machinery (SIGPLAN and SIGARCH)
and the International Federation for Information Processing (WG 2.8).
Chairman: Joseph Stoy University of Oxford
Programme Chairman: David MacQueen AT&T Bell Laboratories
Local Arrangements: Chris Hankin Imperial College, London
REGISTRATION
Advance Registration
(received by 15 August)
________________________________________________________
| | | | Please check |
________________________________________________________
|ACM or SIG members | $240 | 150 pounds | |
|Non-members | $290 | 180 pounds | |
|Full-time students | $100 | 60 pounds | |
________________________________________________________
Late Registration
(received after 15 August)
________________________________________________________
| | | | Please check |
________________________________________________________
|ACM or SIG members | $300 | 200 pounds | |
|Non-members | $400 | 250 pounds | |
|Full-time students | $100 | 60 pounds | |
________________________________________________________
Note The full registration fee covers the following items:
Proceedings
Attendance at Conference Sessions
Morning Coffee and afternoon tea
Conference reception
Conference banquet
3 lunches (Monday - Wednesday)
(accommodation, breakfasts and evening meals, except Tuesday, are not covered).
The student registration fee covers:
Attendance at Conference Sessions
Morning Coffee and afternoon tea
Conference reception.
Room Reservation
Please indicate the style of accommodation which you would prefer (we will
make every effort to meet your request subject to the availability of
rooms---if we cannot, we will accommodate you in the next most expensive type
of room).
_______________________________________
| | Please check|
| |Single| Twin |
________________________________________
|College Room | | ---- |
|Hotel (30 -- 50 pounds) | | |
|Hotel (> 50 pounds) | | |
________________________________________
Name: ___________________________________________________
Affiliation: ____________________________________________
ACM membership number: __________________________________
Address: ________________________________________________
_________________________________________________________
_________________________________________________________
Country: ________________________________________________
Telephone or Net Address: _______________________________
Vegetarian or Kosher Meals: _____________________________
Enclosed fees: US$ _____________ or ______________ pounds
I give ACM permission to include my name on a mailing
list of those attending (please check): ____________
Please send the completed form, with a cheque or money order payable to
FPCA'89, to
Chris Hankin,
Imperial College,
London, England
CONFERENCE PROGRAMME
MONDAY, 11 SEPTEMBER
Tutorial: 8:30--9:30
Abstract Interpretation
John Hughes (University of Glasgow)
Session 1: 9:30--10:30 Chaired by Richard Kieburtz Frontiers and open sets in abstract interpretation
Sebastian Hunt (Imperial College)
Separating binding times in language specifications
Torben \AE. Mogensen (University of Copenhagen)
Session 2: 11:00--12:30
Chaired by John Hughes
Update analysis and the efficient implementation of functional aggregates
Adrienne Bloss (Virginia Polytechnic Institute and State University)
Replacing function parameters by global variables
Peter Sestoft (University of Copenhagen)
Compile-time garbage collection by sharing analysis
Simon B. Jones (University of Stirling)
Daniel Le M\'etayer (IRISA/INRIA)
Session 3: 2:00--3:30
Chaired by Simon Peyton Jones
Compilation as partitioning: a new approach to compiling non-strict
functional languages
Kenneth R. Traub (Motorola Cambridge Research Center)
Untagged data in tagged environments: choosing optimal representations
at compile time
John Peterson (University of Arizona)
Improving the three instruction machine
Guy Argo (University of Glasgow)
Session 4: 4:00--6:00
Chaired by Thomas Johnsson
Stacklessness: compiling recursion for a distributed architecture
David R. Lester (GEC Hirst Research Centre)
Transformations on higher-order functions
Hanne Riis Nielson, Flemming Nielson (Aarhus University)
Automatic complexity analysis
Mads Rosendahl (University of Cambridge)
A compositional approach to time analysis of first order lazy
functional programs
Bror Bjerner, S\"oren Holmstr\"om (Chalmers University of Technology)
TUESDAY, 12 SEPTEMBER
Tutorial: 8:30--9:30
The Haskell Programming Language
Paul Hudak (Yale University)
Philip Wadler (University of Glasgow)
Session 5: 9:30--10:30
Chaired by Gary Lindstrom
Retrieving re-usable software components by polymorphic type
Colin Runciman, Ian Toyn (University of York)
Using types as search keys in function libraries
Mikael Rittri (Chalmers University of Technology)
Session 6: 10:00--12:30
Chaired by Ronan Sleep
The spineless tagless G-machine
Simon L. Peyton Jones, Jon Salkild (University College London)
Parallel graph reduction with the <\nu,G>-machine
Lennart Augustsson, Thomas Johnsson (Chalmers University of Technology)
An abstract machine for parallel graph reduction
Lal George (University of Utah)
Session 7: 2:00--3:30
Chaired by Doug DeGroot
P-TAC: a parallel intermediate language
Zena Ariola (Harvard University)
Arvind (MIT)
Architectural improvements for data-driven VLSI processing arrays
Shlomit Weiss, Ilan Spillinger (Technion)
Gabriel M. Silberman (Carnegie Mellon University)
Strictness analysis: a new perspective based on type inference
Tsung-Min Kuo, Prateek Mishra (SUNY at Stony Brook)
Session 8: 4:00--5:30
Chaired by David MacQueen
F-bounded polymorphism for object-oriented programming
Peter Canning, William Cook, Walter Hill, Walter Olthoff (Hewlett-Packard Laboratories)
John C. Mitchell (Stanford University)
A simple semantics for ML polymorphism
Atsushi Ohori (University of Pennsylvania)
On the complexity of type inference with coercion
Mitchell Wand (Northeastern University)
Patrick O'Keefe (ICAD, Inc.)
WEDNESDAY, 13 SEPTEMBER
Session 9: 8:30--10:30
Chaired by John Mitchell
Extended projection---a new method to extract efficient programs from
constructive proofs
Yukihide Takayama (Institute for New Generation Computer Technology)
Set abstraction in functional and logic programming
Frank S. K. Silbermann (Tulane University)
Bharat Jayaraman (SUNY at Buffalo)
Nondeterminism and unification in LogScheme: integrating logic and
functional programming
Erik Ruf, Daniel Weise (Stanford University)
Indeterminate behavior with determinate semantics in parallel programs
F. Warren Burton (Simon Fraser University)
Session 10: 11:00--1:00
Chaired by Ascander Suarez
Theorems for free!
Philip Wadler (University of Glasgow)
Parsers and printers as stream destructors and constructors embedded
in functional languages
Michel Mauny (INRIA)
Functions and dynamic user interfaces
Andrew Dwelly (E.C.R.C. GmbH)
Processes in a functional animation system
Kavi Arya (IBM T.J. Watson Research Center)
Demonstrations
There will be provision for demonstrations of software in the Functional
Programming Research Laboratory which is near the Conference lecture
room. The laboratory is equipped with MicroVaxes running under Unix
and VMS and SUN 3/60s running under Unix. People wishing to demonstrate
software should contact the Local Arrangements Chairman.
LOCAL ARRANGEMENTS
Conference Location
The Conference will be held at Imperial College of Science, Technology and
Medicine in London. Imperial College is situated in South Kensington and is a
short distance from the shopping and entertainment areas in the West End and
Knightsbridge. Hyde Park, Kensington Palace Gardens, the Albert Hall and some
of the major London museums (the Victoria and Albert, Natural History,
Geological and Science Museums) are all just a short walk from the campus.
South Kensington underground station is on the Picadilly line, which runs
direct to Heathrow Airport. Full details of how to get to the college will be
sent to you together with the confirmation of your registration.
North American participants should monitor the Usenet newsgroup
comp.lang.sigplan for developments regarding (pending) block travel
arrangements to this meeting.
ACCOMMODATION
College Accommodation
We have reserved 80 rooms in College which will be allocated on a ``first come
first served'' basis. The rooms are single study bedrooms. Each room has a
wash basin, desk, reading light and a wardrobe. Most rooms have a shaving
point (240v). The rooms are situated in Prince's Gardens, a quiet attractive
square only a minute's walk away from the College campus. Rooms will cost
14.50 pounds per night for bed and breakfast.
Hotel Accommodation
We have appointed Expotel as the official agents for the conference. They
have arranged for a range of accommodation in local hotels all of which are
within a short distance of the College campus. The average price for a single
room with bath is 65 pounds per night (inclusive of taxes and service charge),
although we can offer a small number of rooms in the 30 to 50 pounds per night
price range.
Accommodation Charges
Accommodation is not included in the conference fee and delegates will be
responsible for the payment of their bills.
SOCIAL PROGRAMME
Reception
There will be a reception at the College on Sunday 10th September at 7pm.
Wine and soft drinks will be provided, and there will also be a cash bar.
Conference Banquet
The banquet will be held in Heatherden Hall, which is a magnificent Georgian
mansion in the grounds of Pinewood Studios. There will be a sherry reception
in the Gatsby Suite (used in the filming of the Great Gatsby), followed by a
buffet in the main restaurant area. Transportation to and from the banquet has
been arranged.
Theatre and Concerts
Expotel is part of the Keith Prowse Expotel Group. Keith Prowse is the
largest ticketing agency in the United Kingdom. You can receive a copy of the
current Keith Prowse Entertainment Guide (published monthly) and make credit
card bookings by telephoning +44 1 741 9999 and quoting the conference
reference code PROCOM.