The Glasgow Functional Programming Group is widely recognised for its research in lazy functional languages. Once again
254 64 4MB
English Pages 271 [279] Year 1993
Table of contents :
Front Matter....Pages i-viii
High Level Specification of I/O in Functional Languages....Pages 1-17
GRIT: Guy’s RISC Implementation of the Three Instruction Machine....Pages 18-29
A Logical Framework for Program Analysis....Pages 30-42
Analysing Functions by Projection-Based Backward Abstraction....Pages 43-56
Abstract Interpretation of Higher Order Functions using Concrete Data Structures (Summary)....Pages 57-61
The Glasgow Haskell Compiler: A Retrospective....Pages 62-71
Improving Persistent Data Manipulation for Functional Languages....Pages 72-84
A Loop-detecting Interpreter for Lazy, Higher-order Programs....Pages 85-101
A Semantics for Locally Bottom-Avoiding Choice....Pages 102-112
A Certain Loss of Identity....Pages 113-121
Programming with Constructor Classes (preliminary summary)....Pages 122-133
Combining Monads....Pages 134-143
Avoiding Unnecessary Updates....Pages 144-153
Deforestation for Higher-Order Functions....Pages 154-165
Hazard Algebra and the Design of Asynchronous Automata....Pages 166-177
Generating Netlists from Executable Circuit Specifications in a Pure Functional Language....Pages 178-194
The nofib Benchmark Suite of Haskell Programs....Pages 195-202
Heap Profiling of a Lazy Functional Compiler....Pages 203-214
LZW Text Compression in Haskell....Pages 215-226
Profiling Lazy Functional Programs....Pages 227-239
On Program Transformation in the Glasgow Haskell Compiler....Pages 240-251
Graphical User Interfaces for Haskell....Pages 252-257
Formulating Haskell....Pages 258-268
Back Matter....Pages 269-271