 | ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/grip-database.ps.gz, 19920403
A Parallel Functional Database on GRIP Gert Akerholt Kevin Hammond Simon Peyton Jones Phil Trinder June 4, 1991 |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/grip-database-portree.ps.gz, 19920423
A Parallel Functional Database on GRIP Gert Akerholt Kevin Hammond Simon Peyton Jones Phil Trinder April 23, 1992 |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/combining-monads.ps.Z, 19930208
Combining Monads David J. King Philip Wadler University of Glasgow |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/grasp-jfit.ps.Z, 19930317
The Glasgow Haskell compiler: a technical overview Simon L Peyton Jones Cordy Hall Kevin Hammond Will Partain Phil Wadler Department of Computing Science, University of Glasgow, G12 8QQ. email: simonpj@dcs.glasgow.ac.uk December 22, 1992 This paper appears in the Proceedings of the UK Joint Framework |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/4d-strictness-analysis.ps.Z, 19930317
Strictness Analysis in 4D Kei Davis Philip Wadler Dept. of Computing Science University of Glasgow Glasgow G12 8QQ United Kingdom |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/ho-binding-time-analysis.ps.Z, 19930317
Higher-order Binding-time Analysis Kei Davis |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/strictness-analysis-proved.ps.Z, 19930317
Backwards Strictness Analysis: Proved and Improved Kei Davis Philip Wadler Dept. of Computing Science University of Glasgow Glasgow G12 8QQ United Kingdom |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/unboxed-values.ps.Z, 19930317
Unboxed values as first class citizens in a non-strict functional language Simon L Peyton Jones and John Launchbury Department of Computing Science, University of Glasgow G12 8QQ fsimonpj, jlg@dcs.glasgow.ac.uk July 26, 1991 |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/backward-abstraction.ps.Z, 19930317
Analysing Functions by Projection-Based Backward Abstraction Kei Davis Department of Computing Science, University of Glasgow Glasgow G12 8QQ, UK |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/domains-for-projections.ps.Z, 19930317
A Note on the Choice of Domains for Projection-Based Program Analysis Kei Davis Department of Computing Science University of Glasgow Glasgow G12 8QQ, UK email: davismk@dcs.glasgow.ac.uk |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/spineless-tagless-gmachine.ps.Z, 19930317
Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine Version 2.5 Simon L Peyton Jones Department of Computing Science, University of Glasgow G12 8QQ simonpj@dcs.glasgow.ac.uk March 17, 1993 |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/grip-transactions.ps.Z, 19930318
PROCESSING TRANSACTIONS ON GRIP, A PARALLEL GRAPH REDUCER G. AKERHOLT, K. HAMMOND, S. PEYTON JONES AND P. TRINDER To appear in Proc. PARLE '93, Munich, June 1993. |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/gen-gc-for-haskell.ps.Z, 19930319
Generational garbage collection for Haskell Patrick M. Sansom Dept. of Computing Science, University of Glasgow, Glasgow, Scotland sansom@dcs.glasgow.ac.uk Simon L. Peyton Jones Dept. of Computing Science, University of Glasgow, Glasgow, Scotland simonpj@dcs.glasgow.ac.uk (Appears in Proceedings FPCA |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/deforestation-short-cut.ps.Z, 19930401
A Short Cut to Deforestation Andrew Gill John Launchbury Simon L Peyton Jones Department of Computing Science, University of Glasgow G12 8QQ fandy,jl,simonpjg@dcs.glasgow.ac.uk This paper is to appear in FPCA 1993. |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/linear-types-can-change-the-world.ps.Z, 19930520
Linear types can change the world! Philip Wadler University of Glasgow |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/static-semantics.ps.Z, 19930520
A static semantics for Haskell Simon L Peyton Jones Philip Wadler Department of Computing Science, University of Glasgow, G12 8QQ (email: fsimonpj, wadlerg@cs.glasgow.ac.uk) February 19, 1992 |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/comprehending-monads.ps.Z, 19930520
Comprehending Monads Philip Wadler University of Glasgow |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/essence-of-fp.ps.Z, 19930520
The essence of functional programming Philip Wadler, University of Glasgow |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/futurebus-interface.ps.Z, 19930520
A Futurebus interface from off-the-shelf parts Simon L Peyton Jones Department of Computing Science, University of Glasgow, G12 8QQ (email: simonpj@cs.glasgow.ac.uk) Mark Hardie Department of Computer Science, University College London June 22, 1990 |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/no-subst-for-linear-logic.ps.Z, 19930520
There's no substitute for linear logic Philip Wadler University of Glasgow 24 December 1991 |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/dynamic-semantics.ps.Z, 19930520
A Dynamic Semantics for Haskell (Draft) Kevin Hammond and Cordelia Hall April 14, 1992 |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/use-for-linear-logic.ps.Z, 19930520
Is there a use for linear logic Philip Wadler University of Glasgow March 1991 |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/imperative.ps.Z, 19930610
Imperative functional programming Simon L Peyton Jones Philip Wadler Dept of Computing Science, University of Glasgow Email: {simonpj,wadler}@dcs.glagsow.ac.uk October 1992 This paper appears in ACM Symposium on Principles Of Programming Languages (POPL), Charleston, Jan 1993, pp71-84. This copy |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/overloading-evaluators.ps.Z, 19930729
1 Using Overloading to Express Distinctions Between Evaluators1 Cordelia V. Hall Department of Computing Science, University of Glasgow, G12 8QQ, U.K. cvh@dcs.gla.ac.uk Key words: evaluator, overloading, functional programming, abstract interpretation |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/giving-a-talk.ps.Z, 19931222
How to give a good research talk Simon L Peyton Jones John Hughes John Launchbury Department of Computing Science, University of Glasgow, G12 8QQ Scotland Email: fsimonpj,jlg@dcs.glasgow.ac.uk, rjmh@cs.chalmers.se |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/type-classes-in-haskell.ps.Z, 19940302
Type classes in Haskell Cordelia Hall, Kevin Hammond, Simon Peyton Jones and Philip Wadler Glasgow University |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/lazy-functional-state-threads.ps.Z, 19940314
Lazy Functional State Threads John Launchbury and Simon L Peyton Jones University of Glasgow Email: {simonpj,jl}@dcs.glasgow.ac.uk. Phone: +44-41-330-4500 March 10, 1994 |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/ABSTRACTS.ps.Z, 19940812
Abstracts of FTP-able Files The Functional Programming Group University of Glasgow 1 Introduction This document describes the papers in the Functional Programming Group's FTP archive at Glasgow University. The archive is divided into three areas: papers Published papers. tech reports Internal Technical |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/spark-strategies-and-granularity.ps.Z, 19940825
Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer Kevin Hammond, Jim S. Mattson Jr. and Simon L. Peyton Jones University of Glasgow, Glasgow, UK |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/parallel-introduction-NO-PICS.ps.Z, 19941206
Parallel Functional Programming: An Introduction Kevin Hammond Department of Computing Science, University of Glasgow, Glasgow G12 8QQ, U.K. kh@dcs.glasgow.ac.uk 1 Introduction Parallel functional programming has a relatively long history. Burge was one of the first to suggest the basic technique of |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/parallel-introduction.ps.Z, 19941206
Parallel Functional Programming: An Introduction Kevin Hammond Department of Computing Science, University of Glasgow, Glasgow G12 8QQ, U.K. kh@dcs.glasgow.ac.uk 1 Introduction Parallel functional programming has a relatively long history. Burge was one of the first to suggest the basic technique of |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/simple-strictnes-analyser.ps.gz, 19950517
Measuring the effectiveness of a simple strictness analyser Simon Peyton Jones Department of Computing Science, University of Glasgow simonpj@dcs.glasgow.ac.uk Will Partain Department of Computing Science, University of Glasgow partain@dcs.glasgow.ac.uk |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/fully-lazy-lambda-lifter.ps.gz, 19950615
A modular fully-lazy lambda lifter in Haskell Simon L Peyton Jones Department of Computing Science, University of Glasgow, G12 8QQ David Lester Department of Computer Science, University of Manchester, M13 9PL June 15, 1995 |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/profiling.ps.Z, 19960821
Time and space profiling for non-strict, higher-order functional languages Patrick M. Sansom Dept. of Computing Science, University of Glasgow, Glasgow, Scotland sansom@dcs.glasgow.ac.uk Simon L. Peyton Jones Dept. of Computing Science, University of Glasgow, Glasgow, Scotland simonpj@dcs.glasgow.ac.uk |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/dual-mode-gc-long.ps.Z, 19960821
Dual-Mode Garbage Collection Patrick M Sansom Depat. of Computing Science, University of Glasgow, Glasgow, Scotland sansom@dcs.glasgow.ac.uk December 1991 |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/lazy-profiling.ps.Z, 19960821
Profiling Lazy Functional Programs Patrick M. Sansomy University of Glasgowz Simon L. Peyton Jones University of Glasgow |
| ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/dual-mode-gc-short.ps.Z, 19960821
Combining Single-Space and Two-Space Compacting Garbage Collectors Patrick M Sansomy University of Glasgow December, 1991 |
