|
" Functional programming : "
edited by Rogardt Heldal, etc.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
745427
|
| Doc. No
|
:
|
b565376
|
| Main Entry
|
:
|
edited by Rogardt Heldal, etc.
|
| Title & Author
|
:
|
Functional programming : : Workshop : Papers\ edited by Rogardt Heldal, etc.
|
| Publication Statement
|
:
|
Springer-Verlag, 1992
|
| Series Statement
|
:
|
Funtional programming, 1991; Workshops in Computing Series
|
| ISBN
|
:
|
3540197605
|
|
|
:
|
: 9783540197607
|
| Notes
|
:
|
Described as proceedings.
|
| 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.
|
| Subject
|
:
|
functional programming
|
| Added Entry
|
:
|
Rogardt Heldal
|
| |