Functional Programming, Glasgow 1993 Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, 5–7 July 1993

Functional Programming, Glasgow 1993 Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, 5–7 July 1993 / edited by John T. O'Donnell, Kevin Hammond.

The Functional Programming Group at the University of Glasgow was started in 1986 by John Hughes and Mary Sheeran. Since then it has grown in size and strength, becoming one of the largest computing science research groups at Glasgow and earning an international reputation. The first Glasgow Functio...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: O'Donnell, John T. (Editor), Hammond, Kevin (Editor)
Format: eBook
Language:English
Published: London : Springer London : Imprint: Springer, 1994.
Edition:1st ed. 1994.
Series:Workshops in Computing,
Springer eBook Collection.
Subjects:
Computer programming.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • The Boom Hierarchy
  • Factoring an Adequacy Proof (Preliminary Report)
  • Projection-Based Termination Analysis
  • A Framework for Optimising Abstract Data Types
  • Spiking Your Caches
  • Experiments with Destructive Updates in a Lazy Functional Language (Extended Abstract)
  • The aim is Laziness in a Data-Parallel Language
  • On the Comparative Evaluation of Parallel Languages and Systems: A Functional Note
  • Deterministic Concurrency
  • Using Strictness in the STG Machine
  • The Implementer’s Dilemma: A Mathematical Model of Compile Time Garbage Collection
  • Functional Graph Algorithms with Depth-First Search (Preliminary Summary)
  • Distributed Garbage Collection of Cyclic Structures
  • Update Avoidance Analysis by Abstract Interpretation
  • Local Speculative Evaluation for Distributed Graph Reduction
  • Bidirectional Fold and Scan
  • Measuring the Effectiveness of a Simple Strictness Analyser
  • Implementing Fudgets with Standard Widget Sets
  • Profiling Parallel Functional Computations (Without Parallel Machines)
  • Time Profiling a Lazy Functional Compiler
  • Solving Recursive Domain Equations by Term Rewriting
  • Separating Interaction
  • Author Index.

Similar Items