default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFunctional Programming 1990: Ullapool, Scotland, UK
- Simon L. Peyton Jones, Graham Hutton, Carsten Kehler Holst:
Proceedings of the 1990 Glasgow Workshop on Functional Programming, Ullapool, Scotland, UK, August 13-15, 1990. Workshops in Computing, Springer 1991, ISBN 978-3-540-19667-9 - Guy Argo:
Lifetime analysis. 1-8 - Anders Bondorf:
Compiling Laziness by Partial Evaluation. 9-22 - Kei Davis, Philip Wadler:
Strictness Analysis in 4D. 23-43 - Cordelia V. Hall, Kevin Hammond, John T. O'Donnell:
An Algorithmic and Semantic Approach to Debugging. 44-53 - Chris Hankin:
Abstract Interpretation of Term Graph Rewriting Systems. 54-65 - Geoff W. Hamilton, Simon B. Jones:
Compile-Time Garbage Collection by Necessity Analysis. 66-70 - Carsten Kehler Holst:
Improving Full Laziness. 71-82 - Carsten Kehler Holst, John Hughes:
Towards Binding-Time Improvement for Free. 83-100 - John Hughes, John Launchbury:
Towards Relating Forwards and Backwards Analyses. 101-113 - Sebastian Hunt:
PERs Generalise Projections for Strictness Analysis (Extended Abstract). 114-125 - Graham Hutton:
Functional Programming with Relations. 126-140 - Thomas P. Jensen:
Abstract Interpretation vs. Type Inference A Topological Perspective. 141-145 - Thomas Johnsson:
Analysing Heap Contents in a Graph Reduction Intermediate Language. 146-171 - Simon B. Jones, Michael White:
Is Compile Time Garbage Collection Worth the Effort? 172-176 - Jesper Jørgensen:
Generating a Pattern Matching Compiler by Partial Evaluation. 177-195 - Carron Kirkwood:
An Experiment using Term Rewriting Techniques for Concurrency. 196-200 - David Murphy:
Type Refinement in Ruby. 201-217 - William D. Partain:
Normal-Order Reduction Using Scan Primitives. 218-226 - Paul Roe:
Calculating lenient programs' performance. 227-236 - Colin Runciman, David Wakeling:
Problems & Proposals for Time & Space Profiling of Functional Programs. 237-245 - Duncan C. Sinclair:
Solid Modelling in Haskell. 246-263 - Satnam Singh:
Differentiating Strictness. 264-267 - Muffy Thomas, Phil Watson:
Generalising Diverging Sequences of Rewrite Rules by Synthesising New Sorts. 268-273 - Phil Trinder:
Concurrent Data Manipulation in a Pure Functional Language. 274-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-12-30 19:15 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:
