Andrew Gill, John Launchbury, Simon L Peyton Jones  Home/Search
Context Related
| dcs.gla.ac.uk/pub/...ionshortcut.ps.Z microsoft.com/~sim...ionshortcut.ps.Z microsoft.com/User...ionshortcut.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: ogi.edu/PacSoft/pub...bibliograph (more) From: microsoft.com/~simonpj/P...papers Homepages: A.Gill |
Rate this article:      (best)Comment on this article |
Abstract: Lists are often used as "glue" to connect separate parts of a program together. We propose an automatic technique for improving the efficiency of such programs, by removing many of these intermediate lists, based on a single, simple, local transformation. We have implemented the method in the Glasgow Haskell compiler. (Update)
Cited by: More
Design Patterns as Higher-Order Datatype-Generic Programs - Gibbons (2006) (Correct)
Declarative Program Transformation: A Deforestation.. - Correnson, Duris.. (1999) (Correct)
Scrap Your Boilerplate: A Practical Design Pattern for Generic .. - Lämmel, Jones (2003) (Correct)
Similar documents (at the sentence level):
9.4%: Cheap Deforestation for Non-strict Functional Languages - Gill (1996) (Correct)
Active bibliography (related documents): More All
0.4: Bridging the gulf: a common intermediate language.. - Jones, Launchbury.. (1998) (Correct)
0.3: XML Goes Native: Run-time Representations for Xtatic - Gapeyev, Levin, Pierce.. (2004) (Correct)
0.3: Imperate: Be Imperative - Hammond, Wadler, Brady (1991) (Correct)
Similar documents based on text: More All
0.2: First-class modules for component-based programming: Case for.. - Jones, Jones (1996) (Correct)
0.2: Unboxing using Specialisation - Hall, Jones, Sansom (1994) (Correct)
0.2: Warm Fusion in Stratego: A Case Study in Generation of.. - Johann, Visser (1999) (Correct)
Related documents from co-citation: More All
70: Deforestation: transforming programs to eliminate trees - Wadler - 1990
50: A fold for all seasons - Sheard, Fegaras - 1993
44: Functional programming with bananas (context) - Meijer, Fokkinga et al. - 1991
BibTeX entry: (Update)
Andrew Gill, John Launchbury, and Simon L Peyton Jones. A short cut to deforestation. In Conf. on Functional Programming and Computer Architecture (FPCA'93), pages 223--232, Copenhagen, Denmark, June 1993. ACM Press. http://citeseer.ist.psu.edu/gill93short.html More
@inproceedings{ gill93,
pages = "223--232",
year = "1993",
title = "A Short Cut to Deforestation",
author = "Andrew Gill and John Launchbury and Peyton Jones, Simon L.",
month = "June",
booktitle = "Conference on Functional Programming Languages and Computer Architecture",
url = "citeseer.ist.psu.edu/gill93short.html" }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Milner - 1978
385 A transformation system for developing recursive programs - Burstall, Darlington - 1977
333 Introduction to Functional Programming (context) - Bird, Wadler - 1988
324 Deforestation: transforming programs to eliminate trees - Wadler - 1990
291 Computational lambda calculus and monads - Moggi - 1989
254 Comprehending monads - Wadler - 1990
244 Imperative functional programming - Jones, Wadler - 1993
150 Report on the functional programming language Haskell, Versi.. (context) - Hudak, Jones et al. - 1992
146 The Glasgow Haskell compiler: a technical overview - Jones - 1993
51 A semantic basis for Quest - Cardelli, Longo - 1991
33 The design and implementation of programming languages (context) - Hughes - 1983
32 Automatic methods for program transformation (context) - Chin - 1990
31 Automatic Transformation of Series Expressions into Loops (context) - Waters - 1991
30 The algorithm of generalization in the supercompiler (context) - Turchin - 1988
18 A novel representation of lists and its application to the f.. (context) - Hughes - 1984
14 List Comprehensions (context) - Wadler - 1987
10 The concatenate vanishes - Wadler - 1987
8 Types, abstraction and parametric polymorphism (context) - Reynolds - 1983
7 Compiling lazy functional languages, part II (context) - Augustsson - 1987
7 Design and implementation of a simple typed language based o.. (context) - Fairbairn - 1985
5 A short note concerning lazy reduction rules of APPEND (context) - Sleep, Holmstrom - 1982
4 Efficient compilation of Haskell array comprehensions (context) - Anderson, Hudak - 1989
3 Theorems for free - Wadler - 1989
3 Deforestation: Transformation of functional programs to elim.. (context) - Davis - 1987
1 When will deforesation stop (context) - Ferguson, Wadler - 1988
1 Examples of program optimization (context) - Burge - 1977
1 FRATS: a parallel reduction strategy for shared memory (context) - Fokkinga, Meijer et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cse.ogi.edu/PacSoft/publications/bibliograph.html): More
Revisiting Catamorphisms over Datatypes with Embedded.. - Fegaras, Sheard (1996) (Correct)
Unboxed Values as First Class Citizens in a Non-Strict.. - Jones, Launchbury (1991) (Correct)
Monads, Indexes and Transformations - Bellegarde, Hook (1994) (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