Functional programming, Glasgow 1992
Subtitle: proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992
By: John Launchbury and Patrick Sansom, eds.
Contributors: Launchbury, John.; Sansom, Patrick, 1969-; British Computer Society.
Publisher: Springer-Verlag
Published: 1993
Place of publication: London; New York
Language: eng
Number of pages: 268
Subjects: Functional programming (Computer science) -- Congresses
Genres: Congresses.
Notes: "Published in cooperation with the British Computer Society."

Includes bibliographical references and index.
Table of contents: title: High Level Specification of I/O in Functional Languages / P. Achten, J. van Groningen and R. Plasmeijer; title: GRIT: Guy's RISC Implementation of the Three Instruction Machine / G. Argo; title: A Logical Framework for Program Analysis / G. Burn; title: Analysing Functions by Projection-Based Backward Abstraction / K. Davis; title: Abstract Interpretation of Higher Order Functions Using Concrete Data Structures (Summary) / A. B. Ferguson and J. Hughes; title: The Glasgow Haskell Compiler: A Retrospective / C. Hall, K. Hammond, W. Partain, S. L. Peyton Jones and P. Wadler; title: Improving Persistent Data Manipulation for Functional Languages / K. Hammond, D. McNally, P. M. Sansom and P. Trinder; title: A Loop-Detecting Interpreter for Lazy, Higher-Order Programs / J. Hughes and A. B. Ferguson; title: A Semantics for Locally Bottom-Avoiding Choice / J. Hughes and A. Moran; title: A Certain Loss of Identity / G. Jones and M. Sheerar; title: Programming with Constructor Classes (Preliminary Summary) / M. P. Jones; title: Combining Monads / D. J. King and P. Wadler; title: Avoiding Unnecessary Updates / J. Launchbury, A. Gill, J. Hughes, S. Marlow, S. Peyton Jones and P. Wadler; title: Deforestation for Higher-Order Functions / S. Marlow and P. Wadler; title: Hazard Algebra and the Design of Asynchronous Automata / E. Meijer; title: Generating Netlists from Executable Circuit Specifications in a Pure Functional Language / J. T. O'Donnell; title: The nofib Benchmark Suite of Haskell Programs / W. Partain; title: Heap Profiling of a Lazy Functional Compiler / C. Runciman and D. Wakeling; title: LZW Text Compression in Haskell / P. Sanders and C. Runciman; title: Profiling Lazy Functional Programs / P. M. Sansom and S. L. Peyton Jones; title: On Program Transformation in the Glasgow Haskell Compiler / A. Santos and S. L. Peyton Jones; title: Graphical User Interfaces for Haskell / D. C. Sinclair; title: Formulating Haskell / S. Thompson.