Simon L. Peyton Jones, Cordy Hall, Kevin Hammond, Will Partain, Phil Wadler  Home/Search
Context Related
| informatik.unibonn....graspjfit.ps.gz microsoft.com/~simonp...graspjfit.ps.Z dcs.glasgow.ac.uk/pub...graspjfit.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: informatik.unibonn....index.body (more) From: microsoft.com/~simonpj/P...papers Homepages: S.Jones |
Rate this article:      (best)Comment on this article |
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 ... (Update)
Cited by: More
From System F to Typed Assembly Language - Greg Morrisett Cornell (1999) (Correct)
Strongly Typed Flow-Directed Representation Transformations - Dimock, Muller, Turbak.. (1997) (Correct)
Polar Type Inference with Intersection Types and ω - Carlier (2002) (Correct)
Similar documents (at the sentence level):
6.0%: Type classes in Haskell - Hall, Hammond, Jones, Wadler (1996) (Correct)
5.5%: Final report on the GRASP project - Jones, Wadler, Hall, Hammond.. (1993) (Correct)
Active bibliography (related documents): More All
1.2: Implementing lazy functional languages on stock hardware: the.. - Jones (1992) (Correct)
0.2: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.2: Functional Languages and Graphical User Interfaces - a review .. - Noble, Runciman (1994) (Correct)
Similar documents based on text: More All
0.2: First-class modules for component-based programming: Case for.. - Jones, Jones (1996) (Correct)
0.1: The Jaskell Project - Vernet (1998) (Correct)
0.1: Declarative systems architecture: a quantitative approach (AQUA).. - Jones (Correct)
Related documents from co-citation: More All
29: Compiling with Continuations (context) - Appel - 1992
23: Implementing lazy functional languages on stock hardware: the Spineless Tagless .. - Jones - 1992
22: TIL: A type-directed optimizing compiler for ML - Tarditi, Morrisett et al. - 1995
BibTeX entry: (Update)
S. L. Peyton Jones, C. V. Hall, K. Hammond, W. D. Partain, and P. L. Wadler. The glasgow Haskell compiler: a technical overview. In ???, editor, Proc Joint Framework for Information Technology (JFIT) Conference, pages ???--???, Keele, England, Mar 1993. http://citeseer.ist.psu.edu/jones92glasgow.html More
@inproceedings{ jones93glasgow,
author = "Simon L. Peyton Jones and Cordelia V. Hall and Kevin Hammond and Will Partain and Philip Wadler",
title = "The Glasgow Haskell compiler: a technical overview",
booktitle = "Proc. {UK} Joint Framework for Information Technology ({JFIT}) Technical Conference",
year = "93",
url = "citeseer.ist.psu.edu/jones92glasgow.html" }
Citations (may not include all citations):1575 Computer Architecture: A Quantitative Approach (context) - Hennessy, Patterson - 1990 ACM
521 Compiling with continuations (context) - Appel - 1992 ACM
291 Computational lambda calculus and monads - Moggi - 1989
254 Comprehending monads - Wadler - 1990 ACM DBLP
244 Imperative functional programming - Jones, Wadler - 1993 ACM DBLP
210 Implementing lazy functional languages on stock hardware: th.. - Jones DBLP
190 How to make ad-hoc polymorphism less ad hoc - Wadler, Blott - 1989 ACM
173 A real-time garbage collector based on the lifetimes of obje.. - Lieberman, Hewitt - 1983 ACM DBLP
150 Report on the functional programming language Haskell, Versi.. (context) - Hudak, Jones et al. - 1992
116 Rabbit: a compiler for Scheme (context) - Steele - 1978 ACM
70 No assembly required: compiling Standard ML to C - Tarditi, Acharya et al. - 1992 DBLP
40 Unboxed values as first class citizens (context) - Jones, Launchbury - 1991
39 Compilation of functional languages by program transformatio.. (context) - Fradet, Le Metayer - 1991 ACM DBLP
33 The design and implementation of programming languages (context) - Hughes - 1983
15 Compilation by program transformation (context) - Kelsey - 1989 ACM
13 A modular fully-lazy lambda lifter in Haskell - Jones, Lester - 1991 ACM DBLP
5 Generational garbage collection for lazy graph reduction (context) - Seward - 1992 ACM DBLP
4 UK research in functional programming (context) - Jones
2 SCHEME to C: a portable Scheme-to-C compiler (context) - Bartlett - 1989
2 How to do machine-independent fast threaded code (context) - Miranda - 1991
1 Generations of lazy functional languages (context) - Sansom, Jones - 1992
1 Computer Science: The Core IT Research Discipline (context) - Milner - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.informatik.uni-bonn.de/~ralf/index.body.html): More
Compilation by Transformation in the Glasgow Haskell Compiler - Jones, Santos (1994) (Correct)
Compiling Haskell by program transformation: a report from the.. - Jones (1996) (Correct)
Implementing lazy functional languages on stock hardware: the.. - Jones (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC