Functional Programming, Glasgow 1994 Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12–14 September 1994
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 deve...
Other Authors: | , , |
---|---|
Format: | eBook |
Language: | English |
Published: |
London
Springer London
1995, 1995
|
Edition: | 1st ed. 1995 |
Series: | Workshops in Computing
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Expression Refinement: Deriving Bresenham’s Algorithm
- Dynamic Algebra for Calculating Algorithms
- On the Expressive Power of Constructor Classes
- Programming Reactive Systems in Haskell
- Techniques for Simplifying the Visualization of Graph Reduction
- A Tutorial on Co-Induction and Functional Programming
- Unboxing Using Specialisation
- Improving Granularity in Parallel Functional Programs: A Graphical Winnowing System for Haskell
- Fold-Unfold Transformations on State Monadic Interpreters
- Functional Binomial Queues
- Mechanized Reasoning About Functional Programs
- A Case Study in Parallel Program Derivation: The Heat Equation Algorithm
- Compilation by Transformation in the Glasgow Haskell Compiler
- Experience of Developing a Cervical Cytology Scanning System Using Gofer and Haskell
- Binding-Time Improvement and Fold-Unfold Transformation
- Data Dependent Concurrency Control
- Type-Checked Message-Passing Between Functional Processes
- Author Index