Functional Programming 1989: Fraserburgh, Scotland, UK

Kei Davis, John Hughes (Eds.): Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK. Workshops in Computing Springer 1990, ISBN 3-540-19609-9 BibTeX

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