John Launchbury, Patrick M. Sansom (Eds.):
Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992.
Workshops in Computing Springer 1993, ISBN 3-540-19820-2
- Peter Achten, John H. G. van Groningen, Marinus J. Plasmeijer:
High Level Specification of I/O in Functional Languages.
1-17

- Guy Argo:
GRIT: Guy's RISC Implementation of the Three Instruction.
18-29

- Geoffrey L. Burn:
A Logical Framework for Program Analysis.
30-42

- Kei Davis:
Analysing Functions by Projection-Based Backward Abstraction.
43-56

- Alex Ferguson, John Hughes:
Abstract Interpretation of Higher Order Functions Using Concrete Data Structures (Summary).
57-61

- Cordelia V. Hall, Kevin Hammond, Will Partain, Simon L. Peyton Jones, Philip Wadler:
The Glasgow Haskell Compiler: A Retrospective.
62-71

- Kevin Hammond, Dave McNally, Patrick M. Sansom, Philip W. Trinder:
Improving Persistent Data Manipulation for Functional Languages.
72-84

- John Hughes, Alex Ferguson:
A Loop-Detecting Interpreter for Lazy, Higher-Order Programs.
85-101

- John Hughes, Andrew Moran:
A Semantics for Locally Bottom-Avoiding Choice.
102-112

- Geraint Jones, Mary Sheeran:
A Certain Loss of Identity.
113-121

- Mark P. Jones:
Programming with Constructor Classes (Preliminary Summary).
122-133

- David J. King, Philip Wadler:
Combining Monads.
134-143

- John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler:
Avoiding Unnecessary Updates.
144-153

- Simon Marlow, Philip Wadler:
Deforestation for Higher-Order Functions.
154-165

- Erik Meijer:
Hazard Algebra and the Design of Asynchronous Automata.
166-177

- John T. O'Donnell:
Generating Netlists from Executable Circuit Specifications.
178-194

- Will Partain:
The nofib Benchmark Suite of Haskell Programs.
195-202

- Colin Runciman, David Wakeling:
Heap Profiling of a Lazy Functional Compiler.
203-214

- Paul Sanders, Colin Runciman:
LZW Text Compression in Haskell.
215-226

- Patrick M. Sansom, Simon L. Peyton Jones:
Profiling Lazy Functional Programs.
227-239

- André Santos, Simon L. Peyton Jones:
On Program Transformation in the Glasgow Haskell Compiler.
240-251

- Duncan C. Sinclair:
Graphical User Interfaces for Haskell.
252-257

- Simon J. Thompson:
Formulating Haskell.
258-268

Last update Mon May 20 22:59:34 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page