The Glasgow Haskell compiler: a technical overview

The Glasgow Haskell compiler: a technical overview (1992)

Cached

Download Links

[www.research.microsoft.com]

by Simon L. Peyton Jones , Cordy Hall , Kevin Hammond , Jones Cordy , Hall Kevin , Will Partain , Phil Wadler

Citations:

115 - 18 self

Versions

Version History

Metadata Version 2

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	The Glasgow Haskell compiler: a technical overview	SVM HeaderParse 0.1
AUTHOR NAME	Simon L. Peyton Jones	user correction - Legacy Corrections
AUTHOR AFFIL	Department of Computing Science, University of Glasgow, G12 8QQ.	user correction - Legacy Corrections
AUTHOR NAME	Cordy Hall	user correction - Legacy Corrections
AUTHOR NAME	Kevin Hammond	user correction - Legacy Corrections
AUTHOR NAME	Jones Cordy	user correction - Legacy Corrections
AUTHOR AFFIL	Department of Computing Science, University of Glasgow, G12 8QQ.	user correction - Legacy Corrections
AUTHOR NAME	Hall Kevin	user correction - Legacy Corrections
AUTHOR AFFIL	Department of Computing Science, University of Glasgow, G12 8QQ.	user correction - Legacy Corrections
AUTHOR NAME	Will Partain	user correction - Legacy Corrections
AUTHOR AFFIL	Department of Computing Science, University of Glasgow, G12 8QQ.	user correction - Legacy Corrections
AUTHOR NAME	Phil Wadler	user correction - Legacy Corrections
AUTHOR AFFIL	Department of Computing Science, University of Glasgow, G12 8QQ.	user correction - Legacy Corrections
ABSTRACT	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. 1 Introduction Computer Science is both a scientific and an engineering discipline. As a scientific discipline, it seeks to establish generic principles and theories that can be used to explain or underpin a variety of particular applications. As an engineering discipline, it constructs substantial artefacts of software and hardware, sees where they fail and where they work, and develops new theory to underpin areas that are inadequately supported. (Milner [1991] eloquently argues for this dual approach in Computer Science. ) Functional programming is a research area that offers an unusually close interplay between these two aspects (Peyton Jones [1992b]). Theory often has immediate practical appl...	user correction - Legacy Corrections
YEAR	1992	user correction - Legacy Corrections
CITATIONS	24 found	ParsCit 1.0