arpa-bboard@ucbvax.ARPA (07/20/85)
From: Joseph E. Stoy <JES@MIT-XX.ARPA> CONFERENCE ON FUNCTIONAL PROGRAMMING LANGUAGES AND ARCHITECTURES NANCY, FRANCE 16 to 19 September, 1985 REGISTRATION DETAILS Registration fee: $150 or FF1300. Students (send copy of Affiliation card): $55 or FF450. Late Registration (after August 10): for everyone, $175 or FF1500. Room Reservation: state the number of people and range of prices (either FF 120/200 or 210/250: the first is 2 stars, and second 3 stars). To guarantee the room: FF250. Please make cheques payable to FPCA85. Write to Danielle Marchand Conference FPLCA-85 CRIN BP 239 54506 Vandoeuvre-les-Nancy Cedex FRANCE Please send any question to the person in charge of local arrangements: Pierre Lescanne (pierre@mit-dash.arpa). PROVISIONAL PROGRAMME MONDAY 9:30 - 10:30 OPENING SESSION D A Turner Miranda: A non-strict functional language with polymorphic types Coffee 11:00 - 12:00 PROGRAM TRANSFORMATION M Welcome S Skedzielewski Dataflow Graph Optimization in IF1 C Clack S L Peyton Jones Generating Parallelism From Strictness Analysis Lunch 14:30 - 15:30 SEMANTICS M Mauny P-L Curien G Cousineau The Categorical Abstract Machine P Bellot Operations fonctionelles dans les systemes de Programmation Sans Variables Coffee 16:00 - 17:00 SYSTEM ARCHITECTURE S Abramsky R Sykes The Design and Implementation of an Applicative Multiprocessor M J Shute P E Osmon C L Hankin COBWEB - A combinator reduction architecture (Reception) TUESDAY 9:30 - 10:30 LAZY EVALUATION P Wadler How to replace failure by a list of successes J M R Hughes Lazy Memo-functions Coffee 11:00 - 12:00 MACHINE ARCHITECTURES D A Plaisted An Architecture for Fast Data Movement in the FFP Machine J T O'Donnell An Architecture that Efficiently Updates Associative Aggregates in Applicative Programming Languages Lunch (Excursion) WEDNESDAY 9:30 - 10:30 PROGRAM TRANSFORMATION T Johnsson Lambda Lifting: Transforming Programs to Recursive Equations S K Debray Optimizing Almost-Tail-Recursive Prolog Programs Coffee 11:00 - 12:00 HARDWARE ARCHITECTURE DESIGN M Sheeran Designing Regular Array Architectures using Higher Order Functions M D Ercegovac M Schlag D Patel vFP: An Environment for Multi-level Specification, Analysis, and Synthesis of Hardware Algorithms Lunch 14:30 - 15:30 STORAGE MANAGEMENT J M R Hughes A Distributed Garbage Collection Algorithm D Brownbridge Cyclic Reference Counting for Combinator Machines Coffee 16:00 - 17:00 SYSTEM ARCHITECTURE D Wise Design for a Multiprocessing Heap with On-board Reference Counting M F Young A Functional Language and Modular Architecture for Scientific Computing (Banquet) THURSDAY 9:30 - 10:30 TYPES; CONSTRUCTIONS R Nikhil Practical Polymorphism P Dybjer Program Verification in a Logical Theory of Constructions Coffee 11:00 - 12:00 COMPILATION AND CODE GENERATION V J Bush J R Gurd Transforming Recursive Programs for Execution on Parallel Machines L Augustsson Compiling Pattern Matching Lunch 14:30 - 15:30 EXECUTION MODELS B Goldberg P Hudak Serial Combinators: Optimal Grains of Parallelism R B Kieburtz The G Machine: A fast, graph-reduction evaluator (END OF CONFERENCE) ===================================================== -------