dbm@alice.UUCP (David MacQueen) (07/20/89)
FPCA '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 and the International Federation for Information Processing. Chairman: Joseph Stoy University of Oxford Programme Chairman: David MacQueen AT&T Bell Laboratories Local Arrangements: Chris Hankin Imperial College, London Treasurer: John Darlington 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 John Darlington Dept of Computer Science Imperial College Huxley Building 180 Queen's Gate London SW7 2BZ 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.