On Program Transformation in the Glasgow Haskell Compiler

In this paper we describe a series of program transformations that are currently being implemented in the Glasgow Haskell Compiler. They are semantics preserving program transformations and therefore are perfectly suitable for incorporation in a compiler. We describe some of the transformations, how they interact and their impact on the time/space behaviour of some programs.

• Type: Conference
• Year: 1992
• Where: FP
• Authors: André Santos, Simon L. Peyton Jones
• Keywords: FP 1992, Glasgow Haskell Compiler, Program Transformations, Programming Languages, Semantics Preserving Program