|
" Functional programming : "
Simon L. Peyton Jones, Graham Hutton and Carsten Kehler Holst (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
745402
|
| Doc. No
|
:
|
b565351
|
| Main Entry
|
:
|
Simon L. Peyton Jones, Graham Hutton and Carsten Kehler Holst (eds.).
|
| Title & Author
|
:
|
Functional programming : : Glasgow 1990 : proceedings of the 1990 [3rd] Glasgow Workshop on Functional Programming ... 1990, Ullapool, Scotland\ Simon L. Peyton Jones, Graham Hutton and Carsten Kehler Holst (eds.).
|
| Publication Statement
|
:
|
London : Springer, 1991
|
| Series Statement
|
:
|
Workshops in computing
|
| Page. NO
|
:
|
286 pages ; 25 cm.
|
| ISBN
|
:
|
0387196676
|
|
|
:
|
: 3540196676
|
|
|
:
|
: 9780387196671
|
|
|
:
|
: 9783540196679
|
| Notes
|
:
|
Published in collaboration with the British Computer Society.
|
| Contents
|
:
|
Lifetime Analysis.- Compiling Laziness by Partial Evaluation.- Strictness Analysis in 4D.- An Algorithmic and Semantic Approach to Debugging.- Abstract Interpretation of Term Graph Rewriting Systems.- Compile-Time Garbage Collection by Necessity Analysis.- Improving Full Laziness.- Towards Binding-Time Improvement for Free.- Towards Relating Forwards and Backwards Analyses.- PERs Generalise Projections for Strictness Analysis.- Functional Programming with Relations.- Abstract Interpretation vs. Type Inference: A Topological Perspective.- Analysing Heap Contents in a Graph Reduction Intermediate Language.- Is Compile Time Garbage Collection Worth the Effort?.- Generating a Pattern Matching Compiler by Partial Evaluation.- An Experiment using Term Rewriting Techniques for Concurrency.- Type Refinement in Ruby.- Normal-Order Reduction Using Scan Primitives.- Calculating Lenient Programs' Performance.- Problems and Proposals for Time and Space Profiling of Functional Programs.- Solid Modelling in HASKELL.- Differentiating Strictness.- Generalising Diverging Sequences of Rewrite Rules by Synthesising New Sorts.- Concurrent Data Manipulation in a Pure Functional Language.
|
| Subject
|
:
|
HASKELL
|
| LC Classification
|
:
|
QA76.62S566 1991
|
| Added Entry
|
:
|
British Computer Society.
|
|
|
:
|
Carsten Kehler Holst
|
|
|
:
|
Graham Hutton
|
|
|
:
|
Simon L Peyton Jones
|
| |