Functional programming, Glasgow 1992 : proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 [Softcover reprint of the original 1st ed. 1993] 3540198202, 978-3-540-19820-8, 9780387198200, 0387198202, 978-1-4471-3215-8, 130-209-240-5

The Glasgow Functional Programming Group is widely recognised for its research in lazy functional languages. Once again

253 64 4MB

English Pages 271 [279] Year 1993

Report DMCA / Copyright

DOWNLOAD FILE

Functional programming, Glasgow 1992 : proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 [Softcover reprint of the original 1st ed. 1993]
 3540198202, 978-3-540-19820-8, 9780387198200, 0387198202, 978-1-4471-3215-8, 130-209-240-5

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

Polecaj historie