Papers of the Glasgow Workshop on Functional Programming 1988 - 1997 |

**[AHPT91]**-
G. Akerholt, K. Hammond, S.L. Peyton Jones, and P.W. Trinder.
A Parallel Functional Database on GRIP.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 1-24, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[Arg90]**-
G. Argo.
Lifetime Analysis.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 1-8, Ullapool, Scotland, 1990. Springer-Verlag. **[Arg91]**-
G. Argo.
A New Sharing Mechanism for the TIM.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 25-35, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[Arg92]**-
G. Argo.
GRIT: Guy's RISC Implementation of the Three Instruction Machine.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 18-29, Ayr, Scotland, 1992. Springer-Verlag. **[Aug91]**-
L. Augustsson.
BWM: A Concrete Machine for Graph Reduction.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 36-50, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[AvP92]**-
P.M. Achten, J.H.G. van Groningen, and M.J. Plasmeijer.
High Level Specification of I/O in Functional Languages.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 1-17, Ayr, Scotland, 1992. Springer-Verlag. **[Bar89]**-
Gebreselassie Baraki.
The Denotation of Polymorphic Objects.
In
*Glasgow Workshop on Functional Programming*, pages 1-7, Rothesay, Isle of Bute, Scotland, 1989. Department of Computing Science, University of Glasgow. Research Report 89/R4. **[BF94]**-
A. Bunkenburg and S. Flynn.
Expression Refinement: Deriving Bresenham's Algorithm.
In K. Hammond, D.N. Turner, and P. Sansom, editors,
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 1-17, Ayr, Scotland, September 1994. Springer-Verlag. **[BH89]**-
G. Baraki and R.J.M. Hughes.
Abstract Interpretation of Polymorphic Functions.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 31-40, Fraserburgh, Scotland, 1989. Springer-Verlag. **[BJ95]**-
Simon Booth and Simon B. Jones.
Towards a Purely Functional Debugger for Functional Programs.
In
*Glasgow Workshop on Functional Programming*, Electronic Workshops in Computing, Ullapool, Scotland, July 1995. Springer-Verlag. **[BJ96]**-
S.P. Booth and S.B. Jones.
Are Ours Really Smaller than Theirs?
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, July 1996. Department of Computing Science, University of Glasgow. **[BL97]**-
Silvia Breitinger and Rita Loogen.
Channel structures in the parallel functional language Eden.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, September 1997. Department of Computing Science, University of Glasgow. **[Blo89]**-
S. Blott.
Type Inference and Type Classes.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 254-265, Fraserburgh, Scotland, 1989. Springer-Verlag. **[Blo96]**-
C.J. Block.
A Model for Representing Ruby Circuits.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, July 1996. Department of Computing Science, University of Glasgow. **[BLOM95]**-
Silvia Breitinger, Rita Loogen, and Yolanda Ortega-Mallén.
Towards a Declarative Language for Parallel and Concurrent
Programming.
In
*Glasgow Workshop on Functional Programming*, Electronic Workshops in Computing, Ullapool, Scotland, July 1995. Springer-Verlag. **[BM89]**-
J. Banâtre and D. Le Métayer.
Chemical Reaction as a Computational Model.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 103-117, Fraserburgh, Scotland, 1989. Springer-Verlag. **[BMW91]**-
D.F. Brown, H. Moura, and D.A. Watt.
ACTRESS: An Action Semantics Directed Compiler Generator (Summary).
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 51-55, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[Bon90]**-
A. Bondorf.
Compiling Laziness by Partial Evaluation.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 9-22, Ullapool, Scotland, 1990. Springer-Verlag. **[BS95]**-
Erik Barendsen and Sjaak Smetsers.
Uniqueness Typing in Natural Deduction Style.
In
*Glasgow Workshop on Functional Programming*, Electronic Workshops in Computing, Ullapool, Scotland, July 1995. Springer-Verlag. **[Bun93]**-
Alexander Bunkenburg.
The Boom Hierarchy.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 1-8, Ayr, Scotland, 1993. Springer-Verlag. **[Bun97]**-
Alex Bunkenburg.
Introduction to expression refinement.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, September 1997. Department of Computing Science, University of Glasgow. **[Bur91]**-
G.L. Burn.
The Abstract Interpretation of Higher-Order Functional Language:
From Properties to Abstract Domains (Technical Summary).
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 56-72, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[Bur92]**-
G.L. Burn.
A Logical Framework for Program Analysis.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 30-42, Ayr, Scotland, 1992. Springer-Verlag. **[CB97]**-
Chris Clack and Lee Braine.
Object-oriented functional spreadsheets.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, September 1997. Department of Computing Science, University of Glasgow. **[CC97]**-
Quintin Cutts and Richard Connor.
ADTs as a Constructor of Type Views.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, September 1997. Department of Computing Science, University of Glasgow. **[CG93]**-
Roy L. Crole and Andrew D. Gordon.
Factoring an Adequacy Proof (Preliminary Report).
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 9-25, Ayr, Scotland, 1993. Springer-Verlag. **[CH97]**-
Graham Collins and Jonathan Hogg.
The circuit that was too lazy to fail.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, September 1997. Department of Computing Science, University of Glasgow. **[Cha95]**-
Manuel M.T. Chakravarty.
Integrating Multithreading into the Spineless Tagless G-machine.
In
*Glasgow Workshop on Functional Programming*, Electronic Workshops in Computing, Ullapool, Scotland, July 1995. Springer-Verlag. **[Cle89]**-
K. Clenaghan.
Geometrization for Interactive Software Development.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, page 391ff, Fraserburgh, Scotland, 1989. Springer-Verlag. **[Cle94]**-
K. Clenaghan.
Dynamic Algebra for Calculating Algorithms.
In K. Hammond, D.N. Turner, and P. Sansom, editors,
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 18-28, Ayr, Scotland, September 1994. Springer-Verlag. **[Col89]**-
Murray I. Cole.
Higher-Order Functions for Parallel Evaluation.
In
*Glasgow Workshop on Functional Programming*, pages 8-20, Rothesay, Isle of Bute, Scotland, 1989. Department of Computing Science, University of Glasgow. Research Report 89/R4. **[Col95]**-
Graham Collins.
Supporting Reasoning about Functional Programs: An Operational
Approach.
In
*Glasgow Workshop on Functional Programming*, Electronic Workshops in Computing, Ullapool, Scotland, July 1995. Springer-Verlag. **[Cox89]**-
S. Cox.
Implementing Functional Languages on the Transputer.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 287-295, Fraserburgh, Scotland, 1989. Springer-Verlag. **[Dav91]**-
M.K. Davis.
A Note on the Choice of Domains for Projection-Based Program
Analysis.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 73-81, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[Dav92]**-
M.K. Davis.
Analysing Functions by Projection-Based Backward Abstraction.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 43-56, Ayr, Scotland, 1992. Springer-Verlag. **[Dav93]**-
Kei Davis.
Projection-Based Termination Analysis.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 26-42, Ayr, Scotland, 1993. Springer-Verlag. **[Dav95]**-
Antony J.T. Davie.
Algebraic Formula Manipulation in a Functional Language: A First
Attempt.
In
*Glasgow Workshop on Functional Programming*, Electronic Workshops in Computing, Ullapool, Scotland, July 1995. Springer-Verlag. **[Des89]**-
J.M. Deschner.
Simulating Multiprocessor Architectures for Compiled
Graph-Reduction.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 225-237, Fraserburgh, Scotland, 1989. Springer-Verlag. **[Deu91]**-
A. Deutsch.
An Operational Model of Strictness Properties and its Abstractions
(Extended Abstract).
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 82-99, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[DH89]**-
M.K. Davis and R.J.M. Hughes, editors.
*Glasgow Workshop on Functional Programming*, Workshops in Computing, Fraserburgh, Scotland, 1989. Springer-Verlag. ISBN 0-387-19609-9/3-540-19609-9. **[DH96]**-
A. Davie and K. Hammond.
Functional Hypersheets.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, July 1996. Department of Computing Science, University of Glasgow. **[DM94]**-
L. Duponcheel and E. Meijer.
On the Expressive Power of Constructor Classes.
In K. Hammond, D.N. Turner, and P. Sansom, editors,
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 29-49, Ayr, Scotland, September 1994. Springer-Verlag. **[Dor98]**-
C. Dornan.
Tcl + Haskell = TclHaskell.
In
*Glasgow Workshop on Functional Programming*, Pitlochry, Scotland, September 1998. Department of Computing Science, University of Glasgow. **[DT89]**-
A.J.J. Dick and M. Thomas.
On Proving Termination of "Loop Program" Rewriting Systems.
In
*Glasgow Workshop on Functional Programming*, pages 22-38, Rothesay, Isle of Bute, Scotland, 1989. Department of Computing Science, University of Glasgow. Research Report 89/R4. **[DW89]**-
M.K. Davis and P.L. Wadler.
Backwards Strictness Analysis: Proved and Improved.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 12-30, Fraserburgh, Scotland, 1989. Springer-Verlag. **[DW90]**-
M.K. Davis and P.L. Wadler.
Strictness Analysis in 4D.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 23-43, Ullapool, Scotland, 1990. Springer-Verlag. **[EL97]**-
Nils Ellmenreich and Christian Lengauer.
On functional scientific computing.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, September 1997. Department of Computing Science, University of Glasgow. **[Ell98]**-
C. Elliott.
Two-handed Image Navigation in Fran.
In
*Glasgow Workshop on Functional Programming*, Pitlochry, Scotland, September 1998. Department of Computing Science, University of Glasgow. **[Fer96]**-
A.B. Ferguson.
Towards a System for Directional Types for Ruby.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, July 1996. Department of Computing Science, University of Glasgow. **[FH89]**-
A.B. Ferguson and R.J.M. Hughes.
An Iterative Powerdomain Construction.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 41-55, Fraserburgh, Scotland, 1989. Springer-Verlag. **[FH92]**-
A.B. Ferguson and R.J.M. Hughes.
Abstract Interpretation of Higher Order Functions using Concrete
Data Structures (Summary).
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 57-61, Ayr, Scotland, 1992. Springer-Verlag. **[FP94]**-
S.O. Finne and S.L. Peyton Jones.
Programming Reactive Systems in Haskell.
In K. Hammond, D.N. Turner, and P. Sansom, editors,
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 50-65, Ayr, Scotland, September 1994. Springer-Verlag. **[FP95]**-
Sigbjorn Finne and Simon Peyton Jones.
Pictures: A Simple Structured Graphics Model.
In
*Glasgow Workshop on Functional Programming*, Electronic Workshops in Computing, Ullapool, Scotland, July 1995. Springer-Verlag. **[FR94]**-
S.P. Foubister and C. Runciman.
Techniques for Simplifying the Visualisation of Graph Reduction.
In K. Hammond, D.N. Turner, and P. Sansom, editors,
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 66-77, Ayr, Scotland, September 1994. Springer-Verlag. **[FW89]**-
A.B. Ferguson and Philip Wadler.
When Will Deforestation Stop?
In
*Glasgow Workshop on Functional Programming*, pages 39-56, Rothesay, Isle of Bute, Scotland, 1989. Department of Computing Science, University of Glasgow. Research Report 89/R4. **[Gil91]**-
A. Gill.
A Novel Approach Towards Peephole Optimisations.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 100-111, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[Gil95]**-
Andy Gill.
The Technology Behind a Graphical User Interface for an Equational
Reasoning Assistant.
In
*Glasgow Workshop on Functional Programming*, Electronic Workshops in Computing, Ullapool, Scotland, July 1995. Springer-Verlag. **[GK95]**-
Simon Govier and Paul H.J. Kelly.
A Lazy, Self-optimising Parallel Matrix Library.
In
*Glasgow Workshop on Functional Programming*, Electronic Workshops in Computing, Ullapool, Scotland, July 1995. Springer-Verlag. **[Gla98a]**-
*Glasgow Workshop on Functional Programming*, Pitlochry, Scotland, September 1998. **[Gla98b]**- Members of the glasgow fp group. WWW page, January 1998.
**[Gor94]**-
A.D. Gordon.
A Tutorial on Co-Induction and Functional Programming.
In K. Hammond, D.N. Turner, and P. Sansom, editors,
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 78-95, Ayr, Scotland, September 1994. Springer-Verlag. **[GOR98]**-
J. Goodman, J. O'Donnell, and G. Rünger.
Refinement Transformation using Abstract Parallel Machines.
In
*Glasgow Workshop on Functional Programming*, Pitlochry, Scotland, September 1998. Department of Computing Science, University of Glasgow. **[GS91]**-
C.K. Gomard and P. Sestoft.
Evaluation Order Analysis for Lazy Data Structures.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 112-127, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[Hal89]**-
Cordelia Hall.
Finding Rational Fixed Points in Infinite Domains.
In
*Glasgow Workshop on Functional Programming*, pages 57-67, Rothesay, Isle of Bute, Scotland, 1989. Department of Computing Science, University of Glasgow. Research Report 89/R4. **[Hal91]**-
C.V. Hall.
Strictness Analysis Using Hindley-Milner Type Inference.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 128-133, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[Hal93]**-
Cordelia V. Hall.
A Framework for Optimising Abstract Data Types.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 43-57, Ayr, Scotland, 1993. Springer-Verlag. **[Ham91]**-
K. Hammond.
Efficient Type Inference Using Monads (Summary).
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 146-157, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[Ham98]**-
K. Hammond.
Strategic SPMD.
In
*Glasgow Workshop on Functional Programming*, Pitlochry, Scotland, September 1998. Department of Computing Science, University of Glasgow. **[Han90]**-
C. Hankin.
Abstract Interpretation of Term Graph Rewriting Systems.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 54-65, Ullapool, Scotland, 1990. Springer-Verlag. **[HB89]**-
K. Hammond and S. Blott.
Implementing Haskell Type Classes.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 266-286, Fraserburgh, Scotland, 1989. Springer-Verlag. **[HB93]**-
Denis B Howe and Geoffrey L. Burn.
Using Strictness in the STG Machine.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 127-137, Ayr, Scotland, 1993. Springer-Verlag. **[HBH93]**-
K. Hammond, G.L. Burn, and D.B. Howe.
Spiking Your Caches.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 58-68, Ayr, Scotland, 1993. Springer-Verlag. **[HC93]**-
Ian Holyer and David Carter.
Deterministic Concurrency.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 113-126, Ayr, Scotland, 1993. Springer-Verlag. **[HDD95]**-
Ian Holyer, Neil Davies, and Chris Dornan.
The Brisk Project: Concurrent and Distributed Functional Systems.
In
*Glasgow Workshop on Functional Programming*, Electronic Workshops in Computing, Ullapool, Scotland, July 1995. Springer-Verlag. **[HDMT92]**-
K. Hammond, P.M. Sansom D.L. McNally, and P.W. Trinder.
Improving Persistent Data Manipulation for Functional Languages.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 72-84, Ayr, Scotland, 1992. Springer-Verlag. **[Hel91]**-
R. Heldal.
Generating More Practical Compilers by Partial Evaluation.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 158-163, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[HF92]**-
R.J.M. Hughes and A.B. Ferguson.
A Loop-detecting Interpreter for Lazy, Higher-order Programs.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 85-101, Ayr, Scotland, 1992. Springer-Verlag. **[HH90]**-
C.K. Holst and R.J.M. Hughes.
Towards Binding-Time Analysis for Free.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 83-100, Ullapool, Scotland, 1990. Springer-Verlag. **[HH91]**-
C.K. Holst and R.J.M. Hughes.
A Loop-Detecting Interpreter for Lazy Programs.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 164-176, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[HHO89]**-
C.V. Hall, R.J.M. Hughes, and J.T. O'Donnell, editors.
*Glasgow Workshop on Functional Programming*, Rothesay, Isle of Bute, Scotland, February 1989. Computing Science Department Research Report 89/R4. **[HHO90]**-
C.V. Hall, K. Hammond, and J.T. O'Donnell.
An Algorithmic and Semantic Approach to Debugging.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 44-53, Ullapool, Scotland, 1990. Springer-Verlag. **[HHP**92]^{+}-
C.V. Hall, K. Hammond, W.D. Partain, S.L. Peyton Jones, and P.L. Wadler.
The Glasgow Haskell Compiler: A Retrospective.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 62-71, Ayr, Scotland, 1992. Springer-Verlag. **[HHW91]**-
R. Heldal, C.K. Holst, and P.L. Wadler, editors.
*Glasgow Workshop on Functional Programming*, Workshops in Computing, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. ISBN 0-387-19760-5/3-540-19760-5. **[Hil93]**-
Jonathon M.D. Hill.
The aim is Laziness in a Data-Parallel Language.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 83-99, Ayr, Scotland, 1993. Springer-Verlag. **[Hir93]**-
Robert E. Hiromoto.
On the Comparative Evaluation of Parallel Languages and Systems: A
Functional Note.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 100-112, Ayr, Scotland, 1993. Springer-Verlag. **[HJ90]**-
G.W. Hamilton and S.B. Jones.
Compile-Time Garbage Collection by Necessity Analysis.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 66-70, Ullapool, Scotland, 1990. Springer-Verlag. **[HJ91]**-
G.W. Hamilton and S.B. Jones.
Extending Deforestation for First Order Functional Programs.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 134-145, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[HL90]**-
R.J.M. Hughes and J. Launchbury.
Towards Relating Forwards and Backwards Analyses.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 101-113, Ullapool, Scotland, 1990. Springer-Verlag. **[HLP94]**-
K. Hammond, H-W. Loidl, and A. Partridge.
Improving Granularity in Parallel Functional Programs: A Graphical
Winnowing System for Haskell.
In K. Hammond, D.N. Turner, and P. Sansom, editors,
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 111-126, Ayr, Scotland, September 1994. Springer-Verlag. **[HLT**97a]^{+}-
C. Hall, H-W. Loidl, P. Trinder, K. Hammond, and J. O'Donnell.
Refining a parallel algorithm for calculating bowings.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, September 1997. Department of Computing Science, University of Glasgow. **[HLT97b]**-
Kevin Hammond, Hans-Wolfgang Loidl, and Phil Trinder.
Parallel Cost Centre Profiling.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, September 1997. Department of Computing Science, University of Glasgow. **[HM92]**-
R.J.M. Hughes and A. Moran.
A Semantics for Locally Bottom-Avoiding Choice.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 102-112, Ayr, Scotland, 1992. Springer-Verlag. **[HO89]**-
R.J.M. Hughes and J.T. O'Donnell.
Expressing and Reasoning About Non-Deterministic Functional
Programs.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 308-328, Fraserburgh, Scotland, 1989. **[HO93]**-
K. Hammond and J.T. O'Donnell, editors.
*Glasgow Workshop on Functional Programming*, Workshops in Computing, Ayr, Scotland, 1993. Springer-Verlag. ISBN 0-387-19879-2/3-540-19879-2. **[Hol90]**-
C.K. Holst.
Improving Full Laziness.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 71-82, Ullapool, Scotland, 1990. Springer-Verlag. **[Hom98]**- Functional programming at glasgow. WWW page, January 1998. Home page of the Glasgow Functional Programming Group.
**[HPS94]**-
C.V. Hall, S.L. Peyton Jones, and P.M. Sansom.
Unboxing Using Specialisation.
In K. Hammond, D.N. Turner, and P. Sansom, editors,
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 96-110, Ayr, Scotland, September 1994. Springer-Verlag. **[HR95]**-
Howard Huang and Uday Reddy.
Type Reconstruction for SCI.
In
*Glasgow Workshop on Functional Programming*, Electronic Workshops in Computing, Ullapool, Scotland, July 1995. Springer-Verlag. **[HT95]**-
Kevin Hammond and Phil Trinder.
Database Manipulation in Haskell 1.3.
In
*Glasgow Workshop on Functional Programming*, Electronic Workshops in Computing, Ullapool, Scotland, July 1995. Springer-Verlag. **[HTS94]**-
K. Hammond, D.N. Turner, and P. Sansom, editors.
*Glasgow Workshop on Functional Programming*, Workshops in Computing, Ayr, Scotland, 1994. Springer-Verlag. ISBN 3-540-19914-4. **[Hug89]**-
John Hughes.
Abstract Interpretation of First-Order Polymorphic Functions.
In
*Glasgow Workshop on Functional Programming*, pages 68-86, Rothesay, Isle of Bute, Scotland, 1989. Department of Computing Science, University of Glasgow. Research Report 89/R4. **[Hug96]**-
R.J.M. Hughes.
An Introduction to Program Specialisation by Type Inference.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, July 1996. Department of Computing Science, University of Glasgow. **[Hun90]**-
S. Hunt.
PERs Generalise Projections for Strictness Analysis.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 114-125, Ullapool, Scotland, 1990. Springer-Verlag. **[Hut89]**-
G. Hutton.
Parsing Using Combinators.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 353-370, Fraserburgh, Scotland, 1989. Springer-Verlag. **[Hut90]**-
G. Hutton.
Functional Programming with Relations.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 126-140, Ullapool, Scotland, 1990. Springer-Verlag. **[HV91]**-
G. Hutton and E. Voermans.
Making Functionality More General.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 177-190, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[HV93]**-
Pieter H. Hartel and Willem G. Vree.
Experiments with Destructive Updates in a Lazy Functional Language.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 69-82, Ayr, Scotland, 1993. Springer-Verlag. **[Jar98]**-
S. Jarvis.
Profiling the Profilers.
In
*Glasgow Workshop on Functional Programming*, Pitlochry, Scotland, September 1998. Department of Computing Science, University of Glasgow. **[Jen90]**-
T. Jensen.
Abstract Interpretation vs. Type Inference: A Topological
Perspective.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 141-145, Ullapool, Scotland, 1990. Springer-Verlag. **[JHS95]**-
Mark P. Jones, Paul Hudak, and Sebastian Shaumyan.
Using Types to Parse Natural Language.
In
*Glasgow Workshop on Functional Programming*, Electronic Workshops in Computing, Ullapool, Scotland, July 1995. Springer-Verlag. **[JL89]**-
S.B. Jones and D. Le Métayer.
A New Method for Strictness Analysis on Non-Flat Domains.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 1-11, Fraserburgh, Scotland, 1989. Springer-Verlag. **[JM89]**-
Simon B. Jones and Daniel Le Métayer.
Optimisation of Storage Management in Functional Languages by Static
Analysis of Programs.
In
*Glasgow Workshop on Functional Programming*, pages 87-100, Rothesay, Isle of Bute, Scotland, 1989. Department of Computing Science, University of Glasgow. Research Report 89/R4. **[Joh90]**-
T. Johnsson.
Analysing Heap Contents in a Graph Reduction Intermediate Language.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 146-171, Ullapool, Scotland, 1990. Springer-Verlag. **[Joh94]**-
T. Johnsson.
Fold-Unfold Transformations on State Monadic Interpreters.
In K. Hammond, D.N. Turner, and P. Sansom, editors,
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 127-140, Ayr, Scotland, September 1994. Springer-Verlag. **[Jon89]**-
G. Jones.
Deriving the Fast Fourier Algorithm by Calculation.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 80-102, Fraserburgh, Scotland, 1989. Springer-Verlag. **[Jon91]**-
G. Jones.
Getting Your Wires Crossed.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 191-206, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[Jon92]**-
M.P. Jones.
Programming with Constructor Classes (preliminary summary).
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 122-133, Ayr, Scotland, 1992. Springer-Verlag. **[Jon95]**-
Simon B. Jones.
Experiences with Clean I/O.
In
*Glasgow Workshop on Functional Programming*, Electronic Workshops in Computing, Ullapool, Scotland, July 1995. Springer-Verlag. **[Jør90]**-
J. Jørgensen.
Generating a Pattern Matching Compiler by Partial Evaluation.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 177-195, Ullapool, Scotland, 1990. Springer-Verlag. **[JS92]**-
G. Jones and M. Sheeran.
A Certain Loss of Identity.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 113-121, Ayr, Scotland, 1992. Springer-Verlag. **[JT93]**-
Simon B. Jones and Andrew S. Tyas.
The Implementor's Dilemma: a Mathematical Model of Compile Time
Garbage Collection.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 138-144, Ayr, Scotland, 1993. Springer-Verlag. **[JW90]**-
S.B. Jones and M. White.
Is Compile Time Garbage Collection Worth the Effort?
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 172-176, Ullapool, Scotland, 1990. Springer-Verlag. **[Kar97]**-
Einar Karlsen.
The UniForM concurrency toolkit and its extensions to Concurrent.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, September 1997. Department of Computing Science, University of Glasgow. **[KG89]**-
J.M. Kewley and K. Glynn.
Evaluation Annotations for Hope+.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 329-337, Fraserburgh, Scotland, 1989. Springer-Verlag. **[KHL91]**-
R. Kubiak, R.J.M. Hughes, and J. Launchbury.
Implementing Projection-Based Strictness Analysis.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 207-224, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[Kin94]**-
D.J. King.
Functional Binomial Queues.
In K. Hammond, D.N. Turner, and P. Sansom, editors,
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 141-150, Ayr, Scotland, September 1994. Springer-Verlag. **[Kir90]**-
C. Kirkwood.
An Experiment using Term Rewriting Techniques for Concurrency.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 196-200, Ullapool, Scotland, 1990. Springer-Verlag. **[KL93]**-
David J. King and John Launchbury.
Functional Graph Algorithms with Depth-First Search.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 145-155, Ayr, Scotland, 1993. Springer-Verlag. **[Klu98]**-
U. Klusik.
On the Implementation of Eden's Dynamic Process Networks.
In
*Glasgow Workshop on Functional Programming*, Pitlochry, Scotland, September 1998. Department of Computing Science, University of Glasgow. **[Kuc95]**-
Herbert Kuchen.
A Functional Logic Language Based on Higher Order Narrowing.
In
*Glasgow Workshop on Functional Programming*, Electronic Workshops in Computing, Ullapool, Scotland, July 1995. Springer-Verlag. **[KW92]**-
D.J. King and P.L. Wadler.
Combining Monads.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 134-143, Ayr, Scotland, 1992. Springer-Verlag. **[Lau89a]**-
J. Launchbury.
Dependent Sums Express Separation of Binding Times.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 238-253, Fraserburgh, Scotland, 1989. Springer-Verlag. **[Lau89b]**-
John Launchbury.
Strictness Analysis Aids Inductive Proofs.
In
*Glasgow Workshop on Functional Programming*, pages 101-107, Rothesay, Isle of Bute, Scotland, 1989. Department of Computing Science, University of Glasgow. Research Report 89/R4. **[Les91]**-
D.R. Lester.
Vuillemin's Exact Real Arithmetic.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 225-238, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[Les93]**-
David Lester.
Distributed Garbage Collection of Cyclic Structures.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 156-169, Ayr, Scotland, 1993. Springer-Verlag. **[LGH**92]^{+}-
J. Launchbury, A. Gill, R.J.M. Hughes, S. Marlow, S.L. Peyton Jones, and P.L.
Wadler.
Avoiding Unnecessary Updates.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 144-153, Ayr, Scotland, 1992. Springer-Verlag. **[LH95]**-
Hans Wolfgang Loidl and Kevin Hammond.
On the Granularity of Divide-and-Conquer Parallelism.
In
*Glasgow Workshop on Functional Programming*, Electronic Workshops in Computing, Ullapool, Scotland, July 1995. Springer-Verlag. **[LH96]**-
H-W. Loidl and K. Hammond.
A Sized Time System for a Parallel Functional Language.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, July 1996. Department of Computing Science, University of Glasgow. **[LM98]**-
D. Leijen and E. Meijer.
Functional Scripting.
In
*Glasgow Workshop on Functional Programming*, Pitlochry, Scotland, September 1998. Department of Computing Science, University of Glasgow. **[Loi97]**-
Hans-Wolfgang Loidl.
LinSolv: a Case Study in Strategic Parallelism.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, September 1997. Department of Computing Science, University of Glasgow. **[LS92]**-
J. Launchbury and P.M. Sansom, editors.
*Glasgow Workshop on Functional Programming*, Workshops in Computing, Ayr, Scotland, 1992. Springer-Verlag. ISBN 0-387-19820-2/3-540-19820-2. **[Mar93]**-
Simon Marlow.
Update Avoidance Analysis by Abstract Interpretation.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 170-184, Ayr, Scotland, 1993. Springer-Verlag. **[McK97]**-
Bruce McKenzie.
The generation of strings from a CFG using a functional language.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, September 1997. Department of Computing Science, University of Glasgow. **[Mei92]**-
E. Meijer.
Hazard Algebra and the Design of Asynchronous Automata.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 166-177, Ayr, Scotland, 1992. Springer-Verlag. **[MG93]**-
James S. Mattson Jr. and William G. Griswold.
Local Speculative Evaluation for Distributed Graph Reduction.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 185-192, Ayr, Scotland, 1993. Springer-Verlag. **[MH89]**-
L. McLoughlin and E.S. Hayes.
Imperative Effects from a Pure Functional Language.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 157-169, Fraserburgh, Scotland, 1989. Springer-Verlag. **[Min94]**-
S. Mintchev.
Mechanized Reasoning about Functional Programs.
In K. Hammond, D.N. Turner, and P. Sansom, editors,
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 151-166, Ayr, Scotland, September 1994. Springer-Verlag. **[Mog97]**-
Torben Mogensen.
2-state fixed point iteration in a modified Plotkin powerdomain.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, September 1997. Department of Computing Science, University of Glasgow. **[Mor89]**-
Torben Æ Morgensen.
Binding Time Analysis for Higher Order Polymorphically Typed
Languages.
In
*Glasgow Workshop on Functional Programming*, pages 108-123, Rothesay, Isle of Bute, Scotland, 1989. Department of Computing Science, University of Glasgow. Research Report 89/R4. **[Mou98]**-
J. Mountjoy.
An Introduction to Abstract Machine Derivation.
In
*Glasgow Workshop on Functional Programming*, Pitlochry, Scotland, September 1998. Department of Computing Science, University of Glasgow. **[Mur90]**-
D. Murphy.
Type Refinement in Ruby.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 201-217, Ullapool, Scotland, 1990. Springer-Verlag. **[Mur91]**-
D. Murphy.
A Semantics for Relational Programming.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 239-252, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[MW92]**-
S. Marlow and P.L. Wadler.
Deforestation for Higher-Order Functions.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 154-165, Ayr, Scotland, 1992. Springer-Verlag. **[Net98]**-
G. Neto.
An Interval Library for Haskell.
In
*Glasgow Workshop on Functional Programming*, Pitlochry, Scotland, September 1998. Department of Computing Science, University of Glasgow. **[NP96]**-
J. Nicklisch and S.L. Peyton Jones.
An Exploration of Modular Programs.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, July 1996. Department of Computing Science, University of Glasgow. **[O'D89]**-
John T. O'Donnell.
Functional Microprogramming for a Data Parallel Architecture.
In
*Glasgow Workshop on Functional Programming*, pages 124-145, Rothesay, Isle of Bute, Scotland, 1989. Department of Computing Science, University of Glasgow. Research Report 89/R4. **[O'D92]**-
J.T. O'Donnell.
Generating Netlists from Executable Circuit Specifications in a Pure
Functional Language.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 178-194, Ayr, Scotland, 1992. Springer-Verlag. **[O'D93]**-
John T. O'Donnell.
Bidirectional Fold and Scan.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 193-200, Ayr, Scotland, 1993. Springer-Verlag. **[O'D97]**-
John O'Donnell, editor.
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, September 1997. **[OR94]**-
J.T. O'Donnell and G. Rünger.
A Case Study in Parallel Program Derivation: The Heat Equation
Algorithm.
In K. Hammond, D.N. Turner, and P. Sansom, editors,
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 167-183, Ayr, Scotland, September 1994. Springer-Verlag. **[OR95]**-
John O'Donnell and Gudula Rünger.
Formal Specification of Interconnection Networks.
In
*Glasgow Workshop on Functional Programming*, Electronic Workshops in Computing, Ullapool, Scotland, July 1995. Springer-Verlag. **[OR97]**-
John O'Donnell and Gudula Ruenger.
A coordination level functional implementation of the hierarchical
radiosity algorithm.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, September 1997. Department of Computing Science, University of Glasgow. **[Par90]**-
W.D. Partain.
Normal-Order Reduction using Scan Primitives.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 218-226, Ullapool, Scotland, 1990. Springer-Verlag. **[Par92]**-
W.D. Partain.
The nofib Benchmark Suite of Haskell Programs.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 195-202, Ayr, Scotland, 1992. Springer-Verlag. **[PC94]**-
I. Poole and D. Charleston.
Experience of Developing aCervical Cytology Scanning System Using
Gofer and Haskell.
In K. Hammond, D.N. Turner, and P. Sansom, editors,
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 205-217, Ayr, Scotland, September 1994. Springer-Verlag. **[Pey96]**-
S.L. Peyton Jones.
Bulk types with class.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, July 1996. Department of Computing Science, University of Glasgow. **[Pey98]**-
S. Peyton Jones.
Exceptions in a Lazy Language.
In
*Glasgow Workshop on Functional Programming*, Pitlochry, Scotland, September 1998. Department of Computing Science, University of Glasgow. **[PHH90]**-
S.L. Peyton Jones, G. Hutton, and C.K. Holst, editors.
*Glasgow Workshop on Functional Programming*, Workshops in Computing, Ullapool, Scotland, 1990. Springer-Verlag. ISBN 0-387-19667-6/3-540-19667-6. **[Pol98]**-
R. Pollack.
Local Namespace in Type Theory.
In
*Glasgow Workshop on Functional Programming*, Pitlochry, Scotland, September 1998. Department of Computing Science, University of Glasgow. **[PP93]**-
Simon Peyton Jones and Will Partain.
Measuring the Effectiveness of a Simple Strictness Analyser.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 201-220, Ayr, Scotland, 1993. Springer-Verlag. **[Pri98]**-
S. Priebe.
Communication in the Eden Runtime System.
In
*Glasgow Workshop on Functional Programming*, Pitlochry, Scotland, September 1998. Department of Computing Science, University of Glasgow. **[PS89]**-
Simon L. Peyton Jones and Jon Salkild.
The Spineless Tagless G-Machine.
In
*Glasgow Workshop on Functional Programming*, pages 146-160, Rothesay, Isle of Bute, Scotland, 1989. Department of Computing Science, University of Glasgow. Research Report 89/R4. **[PS94]**-
S.L. Peyton Jones and A. Santos.
Compilation by Transformation in the Glasgow Haskell Compiler.
In K. Hammond, D.N. Turner, and P. Sansom, editors,
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 184-204, Ayr, Scotland, September 1994. Springer-Verlag. **[Rei89]**-
A. Reid.
Designing Data Structures.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 170-181, Fraserburgh, Scotland, 1989. Springer-Verlag. **[RFJ89]**-
C. Runciman, M. Firth, and N. Jagger.
Transformation in a Non-Strict Language: An Approach to
Instantiation.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 133-141, Fraserburgh, Scotland, 1989. Springer-Verlag. **[RHSW89]**-
A.C. Reeves, D.A. Harrison, A.F. Sinclair, and P. Williamson.
Gerald: An Exceptional Lazy Programming Language.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 371-390, Fraserburgh, Scotland, 1989. Springer-Verlag. **[Rob89]**-
I.B. Robertson.
Hope+ on Flagship.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 296-307, Fraserburgh, Scotland, 1989. Springer-Verlag. **[Roe89]**-
P. Roe.
Some Ideas on Parallel Functional Programming.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 338-352, Fraserburgh, Scotland, 1989. Springer-Verlag. **[Roe90]**-
P. Roe.
Calculating Lenient Programs' Performance.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 227-236, Ullapool, Scotland, 1990. Springer-Verlag. **[Ros91]**-
L. Rossen.
From Primitive Recursive Functions to Silicon Through Relations.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 253-264, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[Rot91]**-
N. Rothwell.
Functional Compilation from the Standard ML Core Language to Lambda
Calculus.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 265-277, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[RR89]**-
A.C. Reeves and C. Rattray.
Sketching a Constructive Definition of `mix'.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 118-132, Fraserburgh, Scotland, 1989. Springer-Verlag. **[RS93]**-
Alastair Reid and Satnam Singh.
Implementing Fudgets with Standard Widget Sets.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 221-234, Ayr, Scotland, 1993. Springer-Verlag. **[Run91]**-
C. Runciman.
TIP in Haskell -- Another Exercise in Functional Programming.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 278-292, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[Run94]**-
C. Runciman.
Binding-Time Improvement and Fold-Unfold Transformation.
In K. Hammond, D.N. Turner, and P. Sansom, editors,
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 218-230, Ayr, Scotland, September 1994. Springer-Verlag. **[RW90]**-
C. Runciman and D. Wakeling.
Problems and Proposals for Time and Space Profiling of Functional
Programs.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 237-245, Ullapool, Scotland, 1990. Springer-Verlag. **[RW92]**-
C. Runciman and D. Wakeling.
Heap Profiling of a Lazy Functional Compiler.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 203-214, Ayr, Scotland, 1992. Springer-Verlag. **[RW93]**-
Colin Runciman and David Wakeling.
Profiling Parallel Functional Computations (Without Parallel
Machines).
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 235-248, Ayr, Scotland, 1993. Springer-Verlag. **[San89]**-
D. Sands.
Complexity Analysis for a Lazy Higher-Order Language.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 56-79, Fraserburgh, Scotland, 1989. Springer-Verlag. **[San91a]**-
P. Sanders.
Experiments in Haskell -- A Network Simulation Algorithm.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 293-297, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[San91b]**-
D. Sands.
Operational Theories of Improvement in Functional Languages
(Extended Abstract).
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 298-311, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[San91c]**-
P.M. Sansom.
Combining Single-Space and Two-Space Compacting Garbage Collectors.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 312-323, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[San93]**-
Patrick M. Sansom.
Time Profiling a Lazy Functional Compiler.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 249-261, Ayr, Scotland, 1993. Springer-Verlag. **[San96]**-
P.M. Sansom.
Modules, Interfaces and Recompilation in Glasgow Haskell.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, July 1996. Department of Computing Science, University of Glasgow. **[Sch96]**-
E. Scholz.
A Monad of Imperative Streams.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, July 1996. Department of Computing Science, University of Glasgow. **[Sew93]**-
Julian Seward.
Solving Recursive Domain Equations by Term Rewriting.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 262-276, Ayr, Scotland, 1993. Springer-Verlag. **[She89a]**-
M. Sheeran.
Describing Butterfly Networks in Ruby.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 182-205, Fraserburgh, Scotland, 1989. Springer-Verlag. **[She89b]**-
Mary Sheeran.
Retiming and Slowdown in Regular Array Design.
In
*Glasgow Workshop on Functional Programming*, pages 161-186, Rothesay, Isle of Bute, Scotland, 1989. Department of Computing Science, University of Glasgow. Research Report 89/R4. **[She91]**-
M. Sheeran.
A Note on Abstraction in Ruby.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 332-338, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[She96]**-
M. Sheeran.
Puzzling Permutations.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, July 1996. Department of Computing Science, University of Glasgow. **[Sij91]**-
B.A. Sijtsma.
Requirements for a Functional Programming Environment.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 339-346, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[Sin89]**-
S. Singh.
Implementation of a Non-Standard Interpretation System.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 206-224, Fraserburgh, Scotland, 1989. Springer-Verlag. **[Sin90a]**-
D.C. Sinclair.
Solid Modelling in Haskell.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 246-263, Ullapool, Scotland, 1990. Springer-Verlag. **[Sin90b]**-
S. Singh.
Differentiating Strictness.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 264-267, Ullapool, Scotland, 1990. Springer-Verlag. **[Sin91a]**-
D.C. Sinclair.
Debugging by Dataflow -- Summary.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 347-351, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[Sin91b]**-
S. Singh.
Using XView/X11 from Miranda.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, page 352ff, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[Sin92]**-
D.C. Sinclair.
Graphical User Interfaces for Haskell.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 252-257, Ayr, Scotland, 1992. Springer-Verlag. **[Sin93]**-
Duncan C. Sinclair.
Separating Interaction.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, page 277ff, Ayr, Scotland, 1993. Springer-Verlag. **[SP92a]**-
P.M. Sansom and S.L. Peyton Jones.
Profiling Lazy Functional Programs.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 227-239, Ayr, Scotland, 1992. Springer-Verlag. **[SP92b]**-
A. Santos and S.L. Peyton Jones.
On Program Transformation in the Glasgow Haskell Compiler.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 240-251, Ayr, Scotland, 1992. Springer-Verlag. **[SR92]**-
P. Sanders and C. Runciman.
LZW Text Compression in Haskell.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 215-226, Ayr, Scotland, 1992. Springer-Verlag. **[SS91]**-
Manfred Schmidt-Schauß.
External Function Calls in a Functional Language.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 324-331, Portree, Isle of Skye, Scotland, 1991. Springer-Verlag. **[TBD**98]^{+}-
P.W. Trinder, Ed. Barry Jr., M.K. Davis, K. Hammond, S.B. Junaidu, U. Klusik,
H-W. Loidl, and S. Peyton Jones.
Low Level Architecture-independence of Glasgow Parallel Haskell
(GpH).
In
*Glasgow Workshop on Functional Programming*, Pitlochry, Scotland, September 1998. Department of Computing Science, University of Glasgow. **[THL**96]^{+}-
P.W. Trinder, K. Hammond, H-W. Loidl, S.L. Peyton Jones, and J. Wu.
A Case Study of Data-intensive Programs in Parallel Haskell.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, July 1996. Department of Computing Science, University of Glasgow. **[THL**97]^{+}-
P.W. Trinder, K. Hammond, H-W. Loidl, S.L. Peyton Jones, and J. Wu.
Go-faster Haskell, or: Data-intensive Programming in Parallel
Haskell.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, September 1997. Department of Computing Science, University of Glasgow. **[Tho92]**-
S. Thompson.
Formulating Haskell.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, page 258ff, Ayr, Scotland, 1992. Springer-Verlag. **[Tri89]**-
P.W. Trinder.
Referentially Transparent Database Languages.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 142-156, Fraserburgh, Scotland, 1989. Springer-Verlag. **[Tri90]**-
P.W. Trinder.
Concurrent Data Manipulation in a Pure Functional Language.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, page 274ff, Ullapool, Scotland, 1990. Springer-Verlag. **[Tri94]**-
P.W. Trinder.
Data Dependent Concurrency Control.
In K. Hammond, D.N. Turner, and P. Sansom, editors,
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 231-244, Ayr, Scotland, September 1994. Springer-Verlag. **[Tri96]**-
Phil Trinder, editor.
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, July 1996. **[Tur95]**-
David N. Turner, editor.
*Glasgow Workshop on Functional Programming*, Electronic Workshops in Computing, Ullapool, Scotland, 1995. Springer-Verlag. ISBN 3-540-14580-X. **[TW89]**-
Phil Trinder and Philip Wadler.
List Comprehensions and the Relational Calculus.
In
*Glasgow Workshop on Functional Programming*, pages 187-202, Rothesay, Isle of Bute, Scotland, 1989. Department of Computing Science, University of Glasgow. Research Report 89/R4. **[TW90]**-
M. Thomas and P. Watson.
Generalising Diverging Sequences of Rewrite Rules by Synthesising
New Sorts.
In
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 268-273, Ullapool, Scotland, 1990. Springer-Verlag. **[WB89]**-
Philip Wadler and Stephen Blott.
How to make Ad-hoc Polymorphism less Ad-hoc.
In
*Glasgow Workshop on Functional Programming*, page 203ff, Rothesay, Isle of Bute, Scotland, 1989. Department of Computing Science, University of Glasgow. Research Report 89/R4. **[Win97]**-
Noel Winstanley.
A type-sensitive preprocessor for Haskell.
In
*Glasgow Workshop on Functional Programming*, Ullapool, Scotland, September 1997. Department of Computing Science, University of Glasgow. **[WP98]**-
K. Wansbrough and S. Peyton Jones.
Once upon a Polymorphic Type.
In
*Glasgow Workshop on Functional Programming*, Pitlochry, Scotland, September 1998. Department of Computing Science, University of Glasgow. **[WR94]**-
M. Wallace and C. Runciman.
Type-Checked Message-Passing between Functional Processes.
In K. Hammond, D.N. Turner, and P. Sansom, editors,
*Glasgow Workshop on Functional Programming*, Workshops in Computing, pages 245-254, Ayr, Scotland, September 1994. Springer-Verlag.

GlaFP Home Page

Papers of the Glasgow Workshop on Functional Programming 1988 - 1997 |