Functional Programming A

23 papers

YearTitle / Authors
1994Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, July 5-7, 1993
John T. O'Donnell, Kevin Hammond
1993A framework for optimising abstract data types.
Cordelia V. Hall
1993Bidirectional Fold and Scan.
John T. O'Donnell
1993Deterministic Concurrency.
Ian Holyer, David Carter
1993Distributed Garbage Collection of Cyclic Structures.
David R. Lester
1993Experiments with destructive updates in a lazy functional language (extended abstract).
Pieter H. Hartel, Willem G. Vree
1993Factoring an Adequacy Proof (Preliminary Report).
Roy L. Crole, Andrew D. Gordon
1993Functional Graph Algorithms with Depth-First Search (Preliminary Summary).
David J. King, John Launchbury
1993Implementing Fudgets with Standard Widget Sets.
Alastair Reid, Satnam Singh
1993Local Speculative Evaluation for Distributed Graph Reduction.
James S. Mattson Jr., William G. Griswold
1993Measuring the effectiveness of a simple strictness analyser.
Simon Peyton Jones, Will Partain
1993On the Comparative Evaluation of Parallel Languages and Systems: A Functional Note.
Robert E. Hiromoto
1993Profiling Parallel Functional Computations (Without Parallel Machines).
Colin Runciman, David Wakeling
1993Projection-based Termination Analysis.
Kei Davis
1993Separating Interaction.
Duncan C. Sinclair
1993Solving recursive domain equations by term rewriting.
Julian Seward
1993Spiking Your Caches.
Kevin Hammond, Geoffrey Livingston Burn, Denis B. Howe
1993The Boom Hierarchy.
Alexander Bunkenburg
1993The Implementer's Dilemma: A Mathematical Model of Compile Time Garbage Collection.
Simon B. Jones, Andrew S. Tyas
1993The aim is laziness in a data-parallel language.
Jonathan M. D. Hill
1993Time Profiling a Lazy Functional Compiler.
Patrick M. Sansom
1993Update Avoidance Analysis by Abstract Interpretation.
Simon Marlow
1993Using Strictness in the STG Machine.
Denis B. Howe, Geoffrey Livingston Burn