Bibliography

Achten et al.1992

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.

Akerholt et al.1991

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.
URL: ftp://ftp.dcs.gla.ac.uk/pub/glasgow-fp/authors/Simon_Peyton_Jones/grip-database-portree.ps.gz.

Argo1990

G. Argo.
Lifetime Analysis.
In Glasgow Workshop on Functional Programming, Workshops in Computing, pages 1-8, Ullapool, Scotland, 1990. Springer-Verlag.

Argo1991

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.

Argo1992

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.

Augustsson1991

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.

Banâtre and Métayer1989

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.

Baraki and Hughes1989

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.

Baraki1989

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.

Barendsen and Smetsers1995

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. .

Block1996

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.
URL: http://www.dcs.gla.ac.uk/fp/workshops/fpw96/Block.ps.gz.

Blott1989

S. Blott.
Type Inference and Type Classes.
In Glasgow Workshop on Functional Programming, Workshops in Computing, pages 254-265, Fraserburgh, Scotland, 1989. Springer-Verlag.

Bondorf1990

A. Bondorf.
Compiling Laziness by Partial Evaluation.
In Glasgow Workshop on Functional Programming, Workshops in Computing, pages 9-22, Ullapool, Scotland, 1990. Springer-Verlag.

Booth and Jones1995

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. .

Booth and Jones1996

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.
URL: http://www.dcs.gla.ac.uk/fp/workshops/fpw96/Booth.ps.gz.

Breitinger and Loogen1997

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
URL: http://www.dcs.gla.ac.uk/~jtod/fp-workshop-97/BreitLoogen.html.

Breitinger et al.1995

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. .

Brown et al.1991

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.

Bunkenburg1993

Alexander Bunkenburg.
The Boom Hierarchy.
In Glasgow Workshop on Functional Programming, Workshops in Computing, pages 1-8, Ayr, Scotland, 1993. Springer-Verlag.

Bunkenburg1997

Alex Bunkenburg.
Introduction to expression refinement.
In Glasgow Workshop on Functional Programming, Ullapool, Scotland, September 1997. Department of Computing Science, University of Glasgow.
URL: http://www.dcs.gla.ac.uk/~jtod/fp-workshop-97/Bunkenburg.ps.gz.

Burn1991

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.

Burn1992

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.

Chakravarty1995

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. .

Clack and Braine1997

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.
URL: http://www.dcs.gla.ac.uk/~jtod/fp-workshop-97/ClackBrainedraft.ps.gz.

Clenaghan1989

K. Clenaghan.
Geometrization for Interactive Software Development.
In Glasgow Workshop on Functional Programming, Workshops in Computing, page 391ff, Fraserburgh, Scotland, 1989. Springer-Verlag.

Cole1989

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.

Collins and Hogg1997

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.
URL: http://www.dcs.gla.ac.uk/~jtod/fp-workshop-97/CollinsHogg.ps.gz.

Collins1995

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. .

Cox1989

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.

Crole and Gordon1993

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.

Cutts and Connor1997

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.
URL: http://www.dcs.gla.ac.uk/~jtod/fp-workshop-97/CuttsConnor.ps.gz.

Davie and Hammond1996

A. Davie and K. Hammond.
Functional Hypersheets.
In Glasgow Workshop on Functional Programming, Ullapool, Scotland, July 1996. Department of Computing Science, University of Glasgow.
URL: http://www.dcs.gla.ac.uk/fp/workshops/fpw96/Davie.ps.gz.

Davie1995

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. .

Davis and Hughes1989

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
URL: http://www.dcs.gla.ac.uk/fp/workshops/workshop-titles89.html.

Davis and Wadler1989

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.

Davis and Wadler1990

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.

Davis1991

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.

Davis1992

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.

Davis1993

Kei Davis.
Projection-Based Termination Analysis.
In Glasgow Workshop on Functional Programming, Workshops in Computing, pages 26-42, Ayr, Scotland, 1993. Springer-Verlag.

Deschner1989

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.

Deutsch1991

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.

Dick and Thomas1989

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.

Ellmenreich and Lengauer1997

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.
URL: http://www.dcs.gla.ac.uk/~jtod/fp-workshop-97/Ellmenreich.ps.gz.

Ferguson and Hughes1989

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.

Ferguson and Hughes1992

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.

Ferguson and Wadler1989

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.

Ferguson1996

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.
URL: http://www.dcs.gla.ac.uk/fp/workshops/fpw96/Ferguson.ps.gz.

Finne and Peyton Jones1995

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.
URL: ftp://ftp.dcs.gla.ac.uk/pub/glasgow-fp/authors/Simon_Peyton_Jones/picture.ps.gz.

Gill1991

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.

Gill1995

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.

Gomard and Sestoft1991

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.

Govier and Kelly1995

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. .

Hall et al.1989

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
URL: http://www.dcs.gla.ac.uk/fp/workshops/workshop-titles88.html.

Hall et al.1990

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.

Hall et al.1992

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.

Hall et al.1997

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.
URL: http://www.dcs.gla.ac.uk/~jtod/fp-workshop-97/Hall-et-al.ps.gz.

Hall1989

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.

Hall1991

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.

Hall1993

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.

Hamilton and Jones1990

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.

Hamilton and Jones1991

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.

Hammond and Blott1989

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.

Hammond and O'Donnell1993

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
URL: http://www.dcs.gla.ac.uk/fp/workshops/workshop-titles93.html.

Hammond and Trinder1995

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. .

Hammond et al.1992

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.

Hammond et al.1993

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.

Hammond et al.1994

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
URL: http://www.dcs.gla.ac.uk/fp/workshops/workshop-titles94.html.

Hammond et al.1997

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.
URL: http://www.dcs.gla.ac.uk/~jtod/fp-workshop-97/HammondLoidlTrinder.ps.gz.

Hammond1991

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.

Hankin1990

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.

Hartel and Vree1993

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.

Heldal et al.1991

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
URL: http://www.dcs.gla.ac.uk/fp/workshops/workshop-titles91.html.

Heldal1991

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.

Hill1993

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.

Hiromoto1993

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.

Holst and Hughes1990

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.

Holst and Hughes1991

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.

Holst1990

C.K. Holst.
Improving Full Laziness.
In Glasgow Workshop on Functional Programming, Workshops in Computing, pages 71-82, Ullapool, Scotland, 1990. Springer-Verlag.

Holyer and Carter1993

Ian Holyer and David Carter.
Deterministic Concurrency.
In Glasgow Workshop on Functional Programming, Workshops in Computing, pages 113-126, Ayr, Scotland, 1993. Springer-Verlag.

Holyer et al.1995

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. .

Howe and Burn1993

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.

Huang and Reddy1995

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. .

Hughes and Ferguson1992

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.

Hughes and Launchbury1990

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.

Hughes and Moran1992

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.

Hughes and O'Donnell1989

R.J.M. Hughes and J.T. O'Donnell.
Expressing and Reasoning About Non-Deterministic Functional Programs.
In Glasgow Workshop on Functional Programming, pages 308-328, Fraserburgh, Scotland, 1989.

Hughes1989

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.

Hughes1996

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.
URL: http://www.dcs.gla.ac.uk/fp/workshops/fpw96/Hughes.ps.gz

Howe and Burn1993

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.

Huang and Reddy1995

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. .

Hughes and Ferguson1992

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.

Hughes and Launchbury1990

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.

Hughes and Moran1992

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.

Hughes and O'Donnell1989

R.J.M. Hughes and J.T. O'Donnell.
Expressing and Reasoning About Non-Deterministic Functional Programs.
In Glasgow Workshop on Functional Programming, pages 308-328, Fraserburgh, Scotland, 1989.

Hughes1989

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.

Hughes1996

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.
URL: http://www.dcs.gla.ac.uk/fp/workshops/fpw96/Hughes.ps.gz.

Hunt1990

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.

Hutton and Voermans1991

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.

Hutton1989

G. Hutton.
Parsing Using Combinators.
In Glasgow Workshop on Functional Programming, Workshops in Computing, pages 353-370, Fraserburgh, Scotland, 1989. Springer-Verlag.

Hutton1990

G. Hutton.
Functional Programming with Relations.
In Glasgow Workshop on Functional Programming, Workshops in Computing, pages 126-140, Ullapool, Scotland, 1990. Springer-Verlag.

Jensen1990

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.

Johnsson1990

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.

Jones and Le Métayer1989

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.

Jones and Métayer1989

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.

Jones and Sheeran1992

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.

Jones and Tyas1993

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.

Jones and White1990

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.

Jones et al.1995

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. .

Jones1989

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.

Jones1991

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.

Jones1992

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.

Jones1995

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ørgensen1990

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.

Karlsen1997

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.
URL: http://www.dcs.gla.ac.uk/~jtod/fp-workshop-97/Karleson.ps.gz.

Kewley and Glynn1989

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.

King and Launchbury1993

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.

King and Wadler1992

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.

Kirkwood1990

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.

Kubiak et al.1991

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.

Kuchen1995

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. .

Launchbury and Sansom1992

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
URL: http://www.dcs.gla.ac.uk/fp/workshops/workshop-titles92.html.

Launchbury et al.1992

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.

Launchbury1989a

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.

Launchbury1989b

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.

Lester1991

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.

Lester1993

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.

Loidl and Hammond1995

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. .

Loidl and Hammond1996

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.
URL: http://www.dcs.gla.ac.uk/fp/workshops/fpw96/Loidl.ps.gz.

Loidl1997

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.
URL: http://www.dcs.gla.ac.uk/~jtod/fp-workshop-97/Loidl.ps.gz.

Marlow and Wadler1992

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.

Marlow1993

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.

Mattson Jr. and Griswold1993

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.

McKenzie1997

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.
URL: http://www.dcs.gla.ac.uk/~jtod/fp-workshop-97/McKenzie.ps.gz.

McLoughlin and Hayes1989

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.

Meijer1992

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.

Mogensen1997

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.
URL: http://www.dcs.gla.ac.uk/~jtod/fp-workshop-97/Mogenson.ps.gz.

Morgensen1989

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.

Murphy1990

D. Murphy.
Type Refinement in Ruby.
In Glasgow Workshop on Functional Programming, Workshops in Computing, pages 201-217, Ullapool, Scotland, 1990. Springer-Verlag.

Murphy1991

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.

Nicklisch and Peyton Jones1996

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.
URL: http://www.dcs.gla.ac.uk/fp/workshops/fpw96/Nicklisch.ps.gz.

O'Donnell and Ruenger1997

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.
URL: http://www.dcs.gla.ac.uk/~jtod/fp-workshop-97/ODonnellRuenger.ps.gz.

O'Donnell and Rünger1995

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. .

O'Donnell1989

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'Donnell1992

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'Donnell1993

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'Donnell1997

John O'Donnell, editor.
Glasgow Workshop on Functional Programming, Ullapool, Scotland, September 1997
URL: http://www.dcs.gla.ac.uk/~jtod/fp-workshop-97/.

Partain1990

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.

Partain1992

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.

Peyton Jones and Partain1993

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.

Peyton Jones and Salkild1989

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.

Peyton Jones et al.1990

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
URL: http://www.dcs.gla.ac.uk/fp/workshops/workshop-titles90.html">

Partain1990

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.

Partain1992

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.

Peyton Jones and Partain1993

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.

Peyton Jones and Salkild1989

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.

Peyton Jones et al.1990

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
URL: http://www.dcs.gla.ac.uk/fp/workshops/workshop-titles90.html.

Peyton Jones1996

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.
URL: http://www.dcs.gla.ac.uk/fp/workshops/fpw96/PeytonJones.ps.gz.

Reeves and Rattray1989

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.

Reeves et al.1989

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.

Reid and Singh1993

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.

Reid1989

A. Reid.
Designing Data Structures.
In Glasgow Workshop on Functional Programming, Workshops in Computing, pages 170-181, Fraserburgh, Scotland, 1989. Springer-Verlag.

Robertson1989

I.B. Robertson.
Hope+ on Flagship.
In Glasgow Workshop on Functional Programming, Workshops in Computing, pages 296-307, Fraserburgh, Scotland, 1989. Springer-Verlag.

Roe1989

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.

Roe1990

P. Roe.
Calculating Lenient Programs' Performance.
In Glasgow Workshop on Functional Programming, Workshops in Computing, pages 227-236, Ullapool, Scotland, 1990. Springer-Verlag.

Rossen1991

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.

Rothwell1991

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.

Runciman and Wakeling1990

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.

Runciman and Wakeling1992

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.

Runciman and Wakeling1993

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.

Runciman et al.1989

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.

Runciman1991

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.

Sanders and Runciman1992

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.

Sanders1991

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.

Sands1989

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.

Sands1991

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.

Sansom and Peyton Jones1992

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.
URL: ftp://ftp.dcs.gla.ac.uk/pub/glasgow-fp/authors/Simon_Peyton_Jones/lazy-profiling.ps.gz.

Sansom1991

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.

Sansom1993

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.

Sansom1996

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.
URL: http://www.dcs.gla.ac.uk/fp/workshops/fpw96/Sansom.ps.gz.

Santos and Peyton Jones1992

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.

Schmidt-Schauß1991

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.

Scholz1996

E. Scholz.
A Monad of Imperative Streams.
In Glasgow Workshop on Functional Programming, Ullapool, Scotland, July 1996. Department of Computing Science, University of Glasgow.
URL: http://www.dcs.gla.ac.uk/fp/workshops/fpw96/Scholz.ps.gz.

Seward1993

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.

Sheeran1989a

M. Sheeran.
Describing Butterfly Networks in Ruby.
In Glasgow Workshop on Functional Programming, Workshops in Computing, pages 182-205, Fraserburgh, Scotland, 1989. Springer-Verlag.

Sheeran1989b

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.

Sheeran1991

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.

Sheeran1996

M. Sheeran.
Puzzling Permutations.
In Glasgow Workshop on Functional Programming, Ullapool, Scotland, July 1996. Department of Computing Science, University of Glasgow.
URL: http://www.dcs.gla.ac.uk/fp/workshops/fpw96/Sheeran.ps.gz.

Sijtsma1991

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.

Sinclair1990

D.C. Sinclair.
Solid Modelling in Haskell.
In Glasgow Workshop on Functional Programming, Workshops in Computing, pages 246-263, Ullapool, Scotland, 1990. Springer-Verlag.

Sinclair1991

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.

Sinclair1992

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.

Sinclair1993

Duncan C. Sinclair.
Separating Interaction.
In Glasgow Workshop on Functional Programming, Workshops in Computing, page 277ff, Ayr, Scotland, 1993. Springer-Verlag.

Singh1989

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.

Singh1990

S. Singh.
Differentiating Strictness.
In Glasgow Workshop on Functional Programming, Workshops in Computing, pages 264-267, Ullapool, Scotland, 1990. Springer-Verlag.

Singh1991

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.

Thomas and Watson1990

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.

Thompson1992

S. Thompson.
Formulating Haskell.
In Glasgow Workshop on Functional Programming, Workshops in Computing, page 258ff, Ayr, Scotland, 1992. Springer-Verlag.

Trinder and Wadler1989

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.

Trinder et al.1996

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.
URL: http://www.dcs.gla.ac.uk/fp/workshops/fpw96/Trinder.ps.gz.

Trinder et al.1997

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.
URL: http://www.dcs.gla.ac.uk/~jtod/fp-workshop-97/Trinder-et-al.ps.gz.

Trinder1989

P.W. Trinder.
Referentially Transparent Database Languages.
In Glasgow Workshop on Functional Programming, Workshops in Computing, pages 142-156, Fraserburgh, Scotland, 1989. Springer-Verlag.

Trinder1990

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.

Trinder1996

Phil Trinder, editor.
Glasgow Workshop on Functional Programming, Ullapool, Scotland, July 1996
URL: http://www.dcs.gla.ac.uk/fp/workshops/fpw96/Proceedings96.html.

Turner1995

David N. Turner, editor.
Glasgow Workshop on Functional Programming, Electronic Workshops in Computing, Ullapool, Scotland, 1995. Springer-Verlag, ISBN 3-540-14580-X
URL: http://www.dcs.gla.ac.uk/fp/workshops/workshop-titles95.html.

Wadler and Blott1989

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.

Winstanley1997

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.
URL: http://www.dcs.gla.ac.uk/~jtod/fp-workshop-97/Winstanley.ps.gz.