default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFunctional Programming 1993: Ayr, Scotland, UK
- John T. O'Donnell, Kevin Hammond:
Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, July 5-7, 1993. Workshops in Computing, Springer 1994, ISBN 978-3-540-19879-6 - Alexander Bunkenburg:
The Boom Hierarchy. 1-8 - Roy L. Crole, Andrew D. Gordon:
Factoring an Adequacy Proof (Preliminary Report). 9-25 - Kei Davis:
Projection-based Termination Analysis. 26-42 - Cordelia V. Hall:
A framework for optimising abstract data types. 43-57 - Kevin Hammond, Geoffrey Livingston Burn, Denis B. Howe:
Spiking Your Caches. 58-68 - Pieter H. Hartel, Willem G. Vree:
Experiments with destructive updates in a lazy functional language (extended abstract). 69-82 - Jonathan M. D. Hill:
The aim is laziness in a data-parallel language. 83-99 - Robert E. Hiromoto:
On the Comparative Evaluation of Parallel Languages and Systems: A Functional Note. 100-112 - Ian Holyer, David Carter:
Deterministic Concurrency. 113-126 - Denis B. Howe, Geoffrey Livingston Burn:
Using Strictness in the STG Machine. 127-137 - Simon B. Jones, Andrew S. Tyas:
The Implementer's Dilemma: A Mathematical Model of Compile Time Garbage Collection. 138-144 - David J. King, John Launchbury:
Functional Graph Algorithms with Depth-First Search (Preliminary Summary). 145-155 - David R. Lester:
Distributed Garbage Collection of Cyclic Structures. 156-169 - Simon Marlow:
Update Avoidance Analysis by Abstract Interpretation. 170-184 - James S. Mattson Jr., William G. Griswold:
Local Speculative Evaluation for Distributed Graph Reduction. 185-192 - John T. O'Donnell:
Bidirectional Fold and Scan. 193-200 - Simon Peyton Jones, Will Partain:
Measuring the effectiveness of a simple strictness analyser. 201-221 - Alastair Reid
, Satnam Singh:
Implementing Fudgets with Standard Widget Sets. 222-235 - Colin Runciman, David Wakeling:
Profiling Parallel Functional Computations (Without Parallel Machines). 236-251 - Patrick M. Sansom:
Time Profiling a Lazy Functional Compiler. 252-264 - Julian Seward:
Solving recursive domain equations by term rewriting. 265-279 - Duncan C. Sinclair:
Separating Interaction. 280-286
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-07 20:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
