Functional Programming, Glasgow 1994

1. Front Matter

   Pages i-x

   PDF

2. Expression Refinement: Deriving Bresenham’s Algorithm

   • Alexander Bunkenburg, Sharon Flynn

   Pages 1-17

3. Dynamic Algebra for Calculating Algorithms

   • Kieran Clenaghan

   Pages 18-28

4. On the expressive power of Constructor Classes

   • Luc Duponcheel, Erik Meijer

   Pages 29-49

5. Programming Reactive Systems in Haskell

   • Sigbjørn Finne, Simon Peyton Jones

   Pages 50-65

6. Techniques for Simplifying the Visualization of Graph Reduction

   • Sandra P. Foubister, Colin Runciman

   Pages 66-77

7. A Tutorial on Co-induction and Functional Programming

   • Andrew D. Gordon

   Pages 78-95

8. Unboxing using Specialisation

   • Cordelia Hall, Simon L. Peyton Jones, Patrick M. Sansom

   Pages 96-110

9. Improving Granularity in Parallel Functional Programs: A Graphical Winnowing System for Haskell

   • Kevin Hammond, Hans Wolfgang Loidl, Andrew Partridge

   Pages 111-126

10. Fold-Unfold Transformations on State Monadic Interpreters

    • Thomas Johnsson

    Pages 127-140

11. Functional Binomial Queues

    • David J. King

    Pages 141-150

12. Mechanized Reasoning about Functional Programs

    • Sava Mintchev

    Pages 151-166

13. A Case Study in Parallel Program Derivation: the Heat Equation Algorithm

    • John O’Donnell, Gudula Rünger

    Pages 167-183

14. Compilation by Transformation in the Glasgow Haskell Compiler

    • Simon Peyton Jones, André Santos

    Pages 184-204

15. Experience of developing a cervical cytology scanning system using Gofer and Haskell

    • Ian Poole, Derek Charleston

    Pages 205-217

16. Binding-time Improvement and Fold/Unfold Transformation

    • Colin Runciman

    Pages 218-230

17. Data Dependent Concurrency Control

    • Phil Trinder

    Pages 231-244

18. Type-Checked Message-Passing between Functional Processes

    • Malcolm Wallace, Colin Runciman

    Pages 245-254

19. Back Matter

    Pages 255-257

    PDF

This is the proceedings of the seventh annual workshop held by the Glasgow Functional Programming Group. The purpose of the workshop is to provide a focus for new research, to foster research contacts with other functional language researchers, and to provide a platform for research students to develop their presentation skills. As in previous years, we spent three days closeted together in a pleasant seaside town, isolated from normal work commitments. We were joined by colleagues from other universities (both UK and abroad) and from industry. Workshop participants presented a short talk about their current research work, and produced a paper which appeared in a draft proceedings. These papers were then reviewed and revised in the light of discussions at the workshop and the referees' comments. A selection of those revised papers (the majority of those presented at the workshop) appears here in the published proceedings. The papers themselves cover a wide span, from theoretical work on algebras and bisimilarity to experience with a real-world medical applica­ tion. Unsurprisingly, given Glasgow's track record, there is a strong emphasis on compilation techniques and optimisations, and there are also several papers on concurrency and parallelism.

• Haskell
• algorithm
• algorithms
• compiler
• concurrency
• functional programming
• language
• parallelism
• programming

• Department of Computing Science, Glasgow University, Glasgow, Scotland

  Kevin Hammond, David N. Turner, Patrick M. Sansom

Policies and ethics