Research papers/Compilation

Compiler Analyses

CPR

Constructed Product Result Analysis for Haskell

Clem Baker-Finch, Kevin Glynn, and Simon Peyton Jones, Journal of Functional Programming 14(2), March 2004, pp 211-245.

Usage analysis

Simple Polymorphic Usage Analysis

Keith Wansbrough (2002), PhD thesis, Computer Laboratory, University of Cambridge.

Simple Usage Polymorphism

Keith Wansbrough and Simon Peyton Jones; Workshop on Types In Compilation 2000.

Once Upon a Polymorphic Type

Keith Wansbrough and Simon Peyton Jones, POPL'99.

Inlining

Secrets of the Glasgow Haskell Compiler inliner

Simon Peyton Jones and Simon Marlow. IDL'99; revised version Journal of Functional Programming 12(4), July 2002, pp393-434.

Laziness

Avoiding Unnecessary Updates

John Hughes, John Launchbury, Andy Gill, Simon Marlow, Simon Peyton Jones, and Philip Wadler. 1993 Glasgow Workshop on Functional Programming.

Strictness

Implementing Projection-based Strictness Analysis

Ryszard Kubiak, John Hughes, John Launchbury. Functional Programming 1991: 207-224

Projections for Polymorphic First-Order Strictness Analysis

John Hughes, John Launchbury. Mathematical Structures in Computer Science 2(3): 301-326 (1992)

the effectiveness of a simple strictness analyser

SL Peyton Jones and WD Partain, Functional Programming, Glasgow 1993, ed Hammond and O'Donnell, Springer Verlag Workshops in Computing, 1993, pp201-220.

Compiling Laziness using Projections

Ross Paterson, Static Analysis Symposium, LNCS, vol. 1145, pp. 255-269, Springer, Aachen, Germany, 1996.

Projection-based Strictness Analysis - Theoretical and Practical Aspects

Ralf Hinze. Inauguraldissertation, Universitt Bonn, November 1995.

Strictness analysis aids time analysis

Philip Wadler. 15'th ACM Symposium on Principles of Programming Languages, San Diego, California, January 1988.

Strictness analysis on non-flat domains (by abstract interpretation over finite domains)

Philip Wadler. Chapter in Samson Abramsky and Chris Hankin, editors, Abstract Interpretation, Ellis Horwood, 1987.

Strictness Analysis: Proved and Improved

Kei Davis and Philip Wadler. 1989 Glasgow Workshop on Functional Programming. August 1989.

Strictness Analysis in 4D

Kei Davis. 1990 Glasgow Workshop on Functional Programming. August 1990.

Abstract interpretation

Fast Abstract Interpretation Using Sequential Algorithms

John Hughes and Alex Ferguson. The Workshop on Static Analysis, WSA 1993: 45-59

Lambda lifting

A modular fully-lazy lambda lifter in Haskell

SL Peyton Jones and D Lester, Software Practice and Experience 21(5), May 1991, pp479-506.

Let floating

Let-floating: moving bindings to give faster programs

(ICFP '96), SL Peyton Jones, WD Partain, A Santos, Proc International Conference on Functional Programming, Philadelphia (ICFP'96), May 1996.

Free variables

Conor McBride, James McKinna Functional pearl: I am not a number--I am a free variable

Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, Snowbird, Utah, USA, 1-9 2004 ISBN 1-58113-850-4

Fusion and deforestation

Cheap deforestation for non-strict functional languages

A Gill, PhD thesis, University of Glasgow, Jan 1996.

A short cut to deforestation

A Gill, SL Peyton Jones, J Launchbury, Proc Functional Programming Languages and Computer Architecture (FPCA'93), Copenhagen, June 1993, pp223-232.

Deforestation: transforming programs to eliminate trees

Philip Wadler. Theoretical Computer Science, (Special issue of selected papers from 2'nd European Symposium on Programming), 73: 231-248, 1990.

Shortcut Deforestation in Calculational Form

Akihiko Takano and Erik Meijer, Conf. Record 7th ACM SIGPLAN/SIGARCH Int. Conf. on Functional Programming Languages and Computer Architecture, {FPCA}'95, ACM Press, New York, 306--313, 1995.

A Calculational Fusion System HYLO

Y. Onoue, Z. Hu, H. Iwasaki, M. Takeichi, IFIP TC 2 Working Conference on Algorithmic Languages and Calculi. Le Bischenberg, France. pp.76-106. February 1997. Chapman & Hall.

Deriving Structural Hylomorphisms from Recursive Definitions

Z. Hu, H. Iwasaki, M. Takeichi, ACM SIGPLAN International Conference on Functional Programming (ICFP'96), Philadelphia, pp.73-82. May 1996. ACM Press.

Shortcut fusion for accumulating parameters and zip-like functions

Josef Svenningsson, ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, 2002, 1-58113-487-8, 124--132, Pittsburgh, PA, USA

Typer inference builds a short cut to deforestation

Olaf Chitil, ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, 1999, 1-58113-111-9, 249--260, Paris, France, ACM Press, New York, NY, USA

Warm fusion in Stratego: A case study in generation of program transformation systems

P Johann, E Visser, Annals of Mathematics and Artificial Intelligence, 2000

Short Cut Fusion: Proved and Improved

Patricia Johann, SAIG 2001: Proceedings of the Second International Workshop on Semantics, Applications, and Implementation of Program Generation, 2001, 3-540-42558-6, 47--71, Springer-Verlag, London, UK

The under-appreciated unfold

Jeremy Gibbons and Geraint Jones, ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, 1998, 1-58113-024-4, 273--279, Baltimore, Maryland, United States, http://doi.acm.org/10.1145/289423.289455, ACM Press, New York, NY, USA

Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire

Erik Meijer and Maarten Fokkinga and Ross Paterson, Proceedings 5th {ACM} Conf. on Functional Programming Languages and Computer Architecture, FPCA'91, Cambridge, MA, USA, 26--30 Aug 1991, 523, Springer-Verlag, Berlin, J. Hughes, 124--144, 1991

Compiler construction

The Glasgow Haskell compiler: a technical overview

SL Peyton Jones, CV Hall, K Hammond, WD Partain, PL Wadler, Proceedings of Joint Framework for Information Technology Technical Conference, Keele, March 1993, pp249-257.

Type-safe, self inspecting code

Arthur I. Baars and S. Doaitse Swierstra, Proceedings of the 2004 ACM SIGPLAN workshop on Haskell. Snowbird, Utah, USA 69 - 79, 2004, ISBN 1-58113-850-4

Intermediate languages

Henk: a typed intermediate language

SL Peyton Jones and E Meijer, Proceedings of the Types in Compilation Workshop, Amsterdam, June 1997.

Bridging the gulf: a common intermediate language for ML and Haskell

SL Peyton Jones, J Launchbury, MB Shields, and AP Tolmach, POPL98.

An External Representation for the GHC Core Language

Andrew Tolmach

System F with Type Equality Coercions

Martin Sulzmann, Manuel M. T. Chakravarty, and Simon Peyton Jones.

A Single Intermediate Language That Supports Multiple Implementations of Exceptions

Norman Ramsey and Simon Peyton Jones. PLDI 2000. 2000.

Type inference

Scripting the type inference process

B. Heeren, J. Hage, and S. D. Swierstra. In Eighth ACM Sigplan International Conference on Functional Programming, pages 3 -- 13, New York, 2003. ACM Press.

Compilation by transformation

A transformation-based optimiser for Haskell

SL Peyton Jones and A Santos, Science of Computer Programming 32(1-3), pp3-47, September 1998.

Compiling Haskell by program transformation: a report from the trenches

SL Peyton Jones Proc European Symposium on Programming (ESOP'96), Linkping, Sweden, Springer Verlag LNCS 1058, Jan 1996.

Compilation by transformation in non-strict functional languages

A Santos, PhD thesis, University of Glasgow, Sept 1995.

Playing by the rules: rewriting as a practical optimisation technique in GHC

Simon Peyton Jones, Andrew Tolmach and Tony Hoare, Haskell Workshop 2001.

Transforming Lazy Functions using Comportment Properties

Ross Paterson, Programming Languages: Implementations, Logics and Programs, LNCS, vol. 1292, pp. 111-125, Springer, Southampton, UK, 1997.

Type errors

Improving type-error messages in functional languages

B. Heeren, J. Jeuring, S. D. Swierstra, and P. A. Alcocer. Technical Report UU-CS-2002-009, Institute of Information and Computing Science, University Utrecht, Netherlands, February 2002