Functional Programming 1989: Fraserburgh, Scotland, UK

@proceedings{DBLP:conf/fp/1989,
  editor    = {Kei Davis and
               John Hughes},
  title     = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
               21-23 August 1989, Fraserburgh, Scotland, UK},
  booktitle = {Functional Programming},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1990},
  isbn      = {3-540-19609-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Simon B. Jones, Daniel Le Métayer: A New Method for Strictness Analysis on Non-Flat Domains. 1-11
• Kei Davis, Philip Wadler: Backwards Strictness Analysis: Proved and Improved. 12-30
• Gebreselassie Baraki, John Hughes: Abstract Interpretation of Polymorphic Functions. 31-40
• Alex Ferguson, John Hughes: An Iterative Powerdomain Construction. 41-55
• David Sands: Complexity Analysis for a Lazy Higher-Order Language. 56-79
• Geraint Jones: Deriving the Fast Fourier Algorithm by Calculation. 80-102
• Jean-Pierre Banâtre, Daniel Le Métayer: Chemical Reaction as a Computational Model. 103-117
• A. C. Reeves, Charles Rattray: Sketching a Constructive Definition of 'mix'. 118-132
• Colin Runciman, Mike Firth, Nigel Jagger: Transformation in a Non-Strict Language: An Approach to Instantiation. 133-141
• Philip W. Trinder: Referentially Transparent Database Languages. 142-156
• Lee McLoughlin, E. S. Hayes: Imperative Effects from a Pure Functional Language. 157-169
• Alastair Reid: Designing Data Structures. 170-181
• Mary Sheeran: Describing Butterfly Networks in Ruby. 182-205
• Satnam Singh: Implementation of a Non-Standard Interpretation System. 206-224
• J. M. Deschner: Simulating Multiprocessor Architectures for Compiled Graph-Reduction. 225-237
• John Launchbury: Dependent Sums Express Separation of Binding Times. 238-253
• Stephen Blott: Type Inference and Type Classes. 254-265
• Kevin Hammond, Stephen Blott: Implementing Haskell Type Classes. 266-286
• Stuart Cox, Hugh Glaser, Mike Reeve: Implementing Functional Languages on the Transputer. 287-295
• Iain B. Robertson: Hope⁺ on Flagship. 296-307
• John Hughes, John O'Donnell: Expressing and Reasoning About Non-Deterministic Functional Programs. 308-328
• John M. Kewley, Kevin Glynn: Evaluation Annotations for Hope⁺. 329-337
• Paul Roe: Some Ideas On Parallel Functional Programming. 338-352
• Graham Hutton: Parsing Using Combinators. 353-370
• A. C. Reeves, D. A. Harrsion, A. F. Sinclair, P. Williamson: Gerald: An Exceptional Lazy Functional Programming Language. 371-390
• Kieran Clenaghan: Geometrization for Interactive Software Development. 391-409