Functional Programming 1991: Portree, Isle of Skye, Scotland, UK

Rogardt Heldal, Carsten Kehler Holst, Philip Wadler (Eds.): Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991. Workshops in Computing Springer 1992, ISBN 3-540-19760-5 BibTeX

@proceedings{DBLP:conf/fp/1991,
  editor    = {Rogardt Heldal and
               Carsten Kehler Holst and
               Philip Wadler},
  title     = {Functional Programming, Glasgow 1991, Proceedings of the 1991
               Glasgow Workshop on Functional Programming, Portree, Isle of
               Skye, 12-14 August 1991},
  booktitle = {Functional Programming},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1992},
  isbn      = {3-540-19760-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder: A Parallel Functional Database on GRIP. 1-24 BibTeX
Guy Argo: A New Sharing Mechanism for the TIM. 25-35 BibTeX
Lennart Augustsson: BWM: A Concrete Machine for Graph Reduction. 36-50 BibTeX
Deryck F. Brown, Hermano Moura, David A. Watt: ACTRESS: An Action Semantics Directed Compiler Generator (Summary). 51-55 BibTeX
Geoffrey L. Burn: The Abstract interpretation of Higher-Order Functional Languages: From Properties to Absract Domains (Technical Summary). 56-72 BibTeX
Kei Davis: A Note on the Choice of Domains for Projection-Based Program Analysis. 73-81 BibTeX
Alain Deutsch: An Operational Model of Strictness Properties and Its Abstractions (Extended Abstract). 82-99 BibTeX
Andrew J. Gill: A Novel Approach Towards Peephole Optimisations. 100-111 BibTeX
Carsten K. Gomard, Peter Sestoft: Evaluation Order Analysis for Lazy Data Structures. 112-127 BibTeX
Cordelia V. Hall: Strictness Analysis Using Hindley-Milner Type Inference. 128-133 BibTeX
Geoff W. Hamilton, S. B. Jones: Extending Deforestation for First Order functional Programs. 134-145 BibTeX
Kevin Hammond: Efficient Type Inference Using Monads (Summary). 146-157 BibTeX
Rogardt Heldal: Generating More Practical Compilers by Partial Evaluation. 158-163 BibTeX
Carsten Kehler Holst, John Hughes: A Loop-Detecting Interpreter for Lazy Programs. 164-176 BibTeX
Graham Hutton, Ed Voermans: Making Functionality More General. 177-190 BibTeX
Geraint Jones: Getting Your Wires Crossed. 191-206 BibTeX
Ryszard Kubiak, John Hughes, John Launchbury: Implementing Projection-based Strictness Analysis. 207-224 BibTeX
David R. Lester: Vuillemin's Exact Real Arithmetic. 225-238 BibTeX
David Murphy: A Semantics for Relational Programming. 239-252 BibTeX
Lars Rossen: From Primitive Recursive Functions to Silicon through Relations. 253-264 BibTeX
Nick Rothwell: Functional Compilation from the Standard ML Core Language to Lambda Calculus. 265-277 BibTeX
Colin Runciman: TIP in Haskell - another Exercise in Functional Programming. 278-292 BibTeX
Paul Sanders: Experiments in Haskell - A Network Simulation Algorithm. 293-297 BibTeX
David Sands: Operational Theories of Improvement in Functional Languages (Extended Abstract). 298-311 BibTeX
Patrick M. Sansom: Combining Single-Space and Two-Space Compacting Garbage Collectors. 312-323 BibTeX
Manfred Schmidt-Schauß: External Function Calls in a Functional Language. 324-331 BibTeX
Mary Sheeran: A Note on Absraction in Ruby. 332-338 BibTeX
Ben A. Sijtsma: Requirements for a Functional Programming Environment. 339-346 BibTeX
Duncan C. Sinclair: Debugging by Dataflwo - Summary. 347-351 BibTeX
Satnam Singh: Using XView/X11 from Miranda. 352-363 BibTeX