Cordelia V. Hall  Home/Search
Context Related
| dcs.gla.ac.uk/pub/..._representation.ps 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: math.jussieu.fr...p.dcs.gla.ac.uk (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Lists are a pervasive data structure in functional programs. The generality and simplicity of their structure makes them expensive. Hindley-Milner type inference and partial evaluation are all that is needed to optimise this structure, yielding considerable improvements in space and time consumption for some interesting programs. This framework is applicable to many data types and their optimised representations, such as lists and parallel implementations of bags, or arrays and quadtrees. 1... (Update)
Context of citations to this paper: More
...annotations which they then use to safely unboxed values. The use of partial evaluation to produce specialised code is not new. Hall [3] uses partial evaluation of special type arguments to create specialised versions which produce and consume an optimised list...
.... The efficient implementation of data structures brings a whole new collection of choices (see e.g. 42] and optimizations (see e.g. [23] [51] A thorough description of this subject is beyond the scope of this paper. Until now, we considered only pure l expressions and the...
Cited by: More
Dynamic Cheap Eagerness - Faxen (2001) (Correct)
Automatic Extraction of Context Information From Programs .. - Schütz, Schmidt-Schauß (1997) (Correct)
A Systematic Study of Functional Language Implementations - Douence, Fradet (1998) (Correct)
Active bibliography (related documents): More All
0.2: The Impact of Laziness on Parallelism and the Limits of.. - Tremblay, Gao (1995) (Correct)
0.2: A New Framework for Strictness Analysis Using Demand Propagation - Tremblay, Gao (Correct)
0.2: Demand Transformation Analysis for Concurrent Constraint.. - Falaschi, Hicks.. (1994) (Correct)
Similar documents based on text: More All
0.1: Comprehensions, a Query Notation for DBPLs - Trinder (1990) (Correct)
0.1: The GRIN Project: A Highly Optimising Back End for Lazy.. - Boquist, Johnsson (1996) (Correct)
0.1: A Practical Subtyping System For Erlang - Marlow (1997) (Correct)
Related documents from co-citation: More All
3: Implementing lazy functional languages on stock hardware: the Spineless Tagless .. - Jones - 1992
3: Unrolling Lists - Shao, Reppy et al. - 1994
2: The essence of functional programming - Wadler - 1992
BibTeX entry: (Update)
C. V. Hall, "Using Hindley-Milner Type Inference to Optimise List Representation", Proc. 1994 ACM Conference on Lisp and Functional Programming, June 1994, pp. 162--172. http://citeseer.ist.psu.edu/hall94using.html More
@inproceedings{ hall94using,
author = "Cordelia V. Hall",
title = "Using Hindley-Milner Type Inference to Optimise List Representation",
booktitle = "{LISP} and Functional Programming",
pages = "162-172",
year = "1994",
url = "citeseer.ist.psu.edu/hall94using.html" }
Citations (may not include all citations):257 Report on the Programming Language Haskell (context) - Hudak, Jones et al. - 1992
162 Unboxed objects and polymorphic typing - Leroy - 1992
161 A short cut to deforestation - Gill, Launchbury et al. - 1993
129 A system of constructor classes: overloading and implicit hi.. - Jones - 1993
66 Views: A way for pattern matching to cohabit with data abstr.. - Wadler - 1987
40 Unboxed values as first class citizens (context) - Jones, Launchbury - 1991
24 The nofib benchmark suite of Haskell programs - Partain - 1992
12 Principles of Programming Languages (context) - Mitchell, Harper - 1988
11 Spiking Your Caches - Hammond, Burn et al. - 1993
11 Freeman and Company (context) - Gardner, Wheels - 1983
4 Generating function versions with rational strictness patter.. (context) - Hall, Wise - 1989
1 Functional Languages and Computer Architecture (context) - Kuchen, Gladitz - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.math.jussieu.fr/~fermigie/fermivista/ftp/ftp.dcs.gla.ac.uk.html): More
Space-saving Optimisations for the Glasgow Haskell Compiler - O'Sullivan (1994) (Correct)
ESPRIT Basic Research Action 6309 FIDE - Deliverable Id (Correct)
Formally Based Profiling for Higher-Order Functional Languages - Sansom, Jones (1997) (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