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