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