- Full text PDF available (2)
- This year (0)
- Last 5 years (0)
- Last 10 years (3)
We give an overview of the Glasgow Haskell compiler, focusing especially on way in which we have been able to exploit the rich theory of functional languages to give very practical improvements in the compiler. The compiler is portable, modular, generates good code, and is freely available.
In this paper we present a new paradigm for partial evaluation, based not on transforming terms into terms, but on transforming terms and types into terms and types. An immediate advantage is that residual programs need not involve the same types as source programs, so type specialisation can be accomplished naturally. Furthermore, while a conventional… (More)