Functional Programming 1992: Ayr, Scotland, UK

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

@proceedings{DBLP:conf/fp/1992,
  editor    = {John Launchbury and
               Patrick M. Sansom},
  title     = {Functional Programming, Glasgow 1992, Proceedings of the 1992
               Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8
               July 1992},
  booktitle = {Functional Programming},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1993},
  isbn      = {3-540-19820-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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 Thompson: Formulating Haskell. 258-268