[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Research / AG / FP / AG / Literature
Lehrstuhl für Informatik II: WG Implementation of Functional Languages, Literature Aachen Univ. of Technology, Dept. of CS, Lehrstuhl für Informatik II, Research, FP, IFL


The Glasgow Haskell Compiler

Documentation for the Glasgow Haskell Compiler

Tools for the Glasgow Haskell Compiler

The Glasgow Projects Aqua and Grasp

Programm Transformations

Implemented in GHC


  • The Haskell Report: Version 1.4
  • J. Launchbury, T. Sheard: Warm Fusion: Deriving Build-Catas from Recursive Definitions.
  • Paul A. Steckler: Correct higher-order program transformations; Thesis, Northeastern University, July 1994. (Soure: ftp://ftp.ccs.neu.edu/pub/people/steck/thesis.ps.Z)

    Presents a method for proving the correctness of compiler optimizations for higher-order programming languages. Optimizations exhibited:

    • selective and lightweight closure conversion (constructing source-level closures for procedures
    • ultra-beta (a generalization of copy propagation to higher-order languages)
    • selective thunkification (transforming call-by-name programs into call-by-value equivalents)


SEL-HPC Functional Programming Archive
Karlsruhe: Computer Science Bibliography Collection Avanced Search
Hypertext Bibliography Project

Links to Program Transformation

Please email any suggestions for extensions to me.

Olaf Chitil, chitil@i2.informatik.rwth-aachen.de, Last Update: March 7, 1997
Valid HTML 4.01 Strict! Valid CSS!