3rd Scottish Functional Programming Workshop Programme
University of Stirling, Scotland
Tuesday 21st August
17:00-18:00 Registration: Andrew Stewart Hall
18:00-19:00 Dinner: Pathfoot Dining Room
19:00-22:00 Socialising: Pathfoot Building Oscars Bar
Wednesday 22nd August
7:45-8:50 Breakfast: Pathfoot Building Dining Room
All workshop sessions in Pathfoot Building L19
8:55 Opening: Pathfoot Building L19
Session 1: Parallelism I
9:00 - 10:30
- BSP in a Lazy Functional Context
Quentin Miller
Universite d'Orleans, France
- Parallel Functional Genetic Programming
Graeme McHale and Greg Michaelson
Heriot-Watt University, Scotland
- Introduction of Pipelining into Gaussian Elimination
Joy Goodman
Glasgow University, Scotland
Break
Session 2: Derivation and Transformation
11:00 - 12:00
- Extending Higher-Order Deforestation:
Transforming Programs to Eliminate Even More Trees
Geoff Hamilton
Dublin City University, Ireland
- Deriving Non-heirarchical Process Topologies
Ricardo Pena, Fernando Rubio, Clara Segura
Universidad Complutense de Madrid, Spain
Lunch: Pathfoot Building Dining Room
Session 3: Types
14:00 - 15:30
- How to Fix Type Errors Automatically
Bruce J. McAdam
University of Edinburgh, Scotland
- Function Types and Complete type Inference
Manfred Widera, Christoph Bierle
Fern Universitat Hagen, Germany
- Human-like Explanations of Polymorphic Types
Yang Jun, Greg Michaelson, Phil Trinder
Heriot-Watt University, Scotland
Break
Session 4: Language Design and Implementation
16:00 - 17:00
- Paging Behaviour of List-based Memory in a Distributed
Virtual Memory System for Pure Functional Languages
Myles Nash, Marco T. Morazan and Douglas R. Troeger
City University of New York, USA
- Asynchronous Hume
Kevin Hammond
St Andrews University, Scotland
18:00-19:00 Dinner: Pathfoot Building Dining Room
19:00-22:00 Drinks: Pathfoot Building Oscars Bar
Thursday 23rd August
7:45-9:00 Breakfast: Pathfoot Building Dining Room
Session 5: Distribution
9:00 - 10:30
- Distributed Applications in GdH
Robert Pointon
Heriot-Watt University, Scotland
- A Glasgow Distributed Haskell File Server
Phil Trinder
Heriot-Watt University, Scotland
- Some Experiences Connecting Functional Languages
and Java
Andre Rauber Du Bois, Antonio Carlos da Rocha Costa
Universidade Federal do Rio Grande do Sul/
Universidade Catolica de Pelotas, Brazil
Break
Session 6: Parallelism II
11:00 - 12:00
- The Efficiency of Parallel Graph Reduction on a
Loosely-coupled Multiprocessor
Hans Wolfgang Loidl
Heriot-Watt University, Scotland
- An SPMD environment machine for functional BSP programs
Armelle Merlin, Gaetan Hains
Universite d'Orleans, France
Buffet Lunch: Pathfoot Building L18
14:00 - 18:30 Excursion: Ferry trip on Loch Katrine
18:30-19:00 Dinner: Pathfoot Building Dining Room
19:00-22:00 Drinks: Pathfoot Building Oscars Bar
Friday 24th August
7:45-9:00 Breakfast: Pathfoot Building Dining Room
Session 7: Applications
9:00 - 10:30
- Haskell: Language for Business Systems
Dominic Steinitz, Chris Reade, Dan Russell, Phil Molyneux, Barry Avery
British Airways and Kingston Business School, England
- Functional programming languages for verification tools:
experiences with ML and Haskell
Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber
RWTH Aachen, Germany and University of Edinburgh, Scotland
- Infinite Pretty-printing in eXene
Allen Stoughton
Kansas State University, USA
Break
Session 8: Theory
11:00 - 12:00
- The dual of substitution is redecoration
Tarmo Uustalu, Varmo Vene
Universidade do Minho, Portugal and
University of Tartu, Estonia
- Towards a Denotational semantics for Eden
Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallen
Universidad Complutense de Madrid, Spain
Buffet Lunch: Pathfoot Building L18
Session 9: Pot Pourri
14:00 - 15:00
- Strictness Analysis for Parallelism
Bob Hiromoto
University of Texas at San Antonio, USA
- Laziness, Drugs and Jam Jars
Sharon Curtis
University of Stirling, Scotland
Workshop Close
Draft Proceedings
Main
Key Dates
Last modified: Thu Aug 9 14:18:30 2001 Stardate: [-30]7067.77