Draft programme of the
3rd Scottish Functional Programming Workshop,
August 22nd to 24th, 2001,
University of Stirling, Scotland

Parallelism

• A Comparative Study of Skeleton-based Parallel Programming Environments Allowing Arbitrary Nesting
  Remi Coudarcher, Jocelyn Serot, Jean-Pierre Derutin
  Universite Blaise Pascal - Clermont II, France
• 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
• 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
• Implementing and Measuring GdH Skeletons
  Phil Trinder
  Heriot-Watt University, Scotland

Distribution

• Distributed Programming with Dynamic Reply Channels
  Rita Loogen, Steffen Priebe
  Philips-Universitat Marburg, Germany
• Distributed Applications in GdH
  Robert Pointon
  Heriot-Watt University, Scotland

Applications

• 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

Derivation and Transformation

• 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

Language Design and Implementation

• 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
• Paging Behaviour of List-based Memory in a Distributed Virtual Memory System for Pure Functional Languages
  Marco T. Morazan and Douglas R. Troeger
  City University of New York, USA
• Asynchronous Hume
  Kevin Hammond
  St Andrews University, Scotland

Types

• 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

Theory

• The dual of grafting is decoration
  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
• Handling Recursion in a Sized Time System
  Alvaro Portillo Rebon
  St Andrews University, Scotland

Draft Proceedings

Main

Key Dates

Last modified: Wed May 30 00:23:14 2001