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)
=====================================================
-------