Promotional Information

Springer Book Archives

Table of Contents

A Parallel Functional Database on GRIP.- A New Sharing Mechanism for the TIM.- BWM: A Concrete Machine for Graph Reduction.- ACTRESS: An Action Semantics Directed Compiler Generator (Summary).- The Abstract Interpretation of Higher-Order Functional Languages: From Properties to Abstract Domains (Technical Summary).- A Note on the Choice of Domains for Projection-Based Program Analysis.- An Operational Model of Strictness Properties and its Abstractions (Extended Abstract).- A Novel Approach Towards Peephole Optimisations.- Evaluation Order Analysis for Lazy Data Structures.- Strictness Analysis Using Hindley-Milner Type Inference.- Extending Deforestation for First Order Functional Programs.- Efficient Type Inference Using Monads (Summary).- Generating More Practical Compilers by Partial Evaluation.- A Loop-Detecting Interpreter for Lazy Programs.- Making Functionality More General.- Getting Your Wires Crossed.- Implementing Projection-based Strictness Analysis.- Vuillemin’s Exact Real Arithmetic.- A Semantics for Relational Programming.- From Primitive Recursive Functions to Silicon through Relations.- Functional Compilation from the Standard ML Core Language to Lambda Calculus.- TIP in Haskell — Another Exercise in Functional Programming.- Experiments in Haskell - A Network Simulation Algorithm.- Operational Theories of Improvement in Functional Languages (Extended Abstract).- Combining Single-Space and Two-Space Compacting Garbage Collectors.- External Function Calls in a Functional Language.- A Note on Abstraction in Ruby.- Requirements for a Functional Programming Environment.- Debugging by Dataflow — Summary.- Using XView/X11 from Miranda.- Author Index.