Papers of the Glasgow Workshop on Functional Programming 1988 - 1997
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.
