| Alternate document: Details Partial Evaluation and the Generation of Program Generators (93) Neil D. Jones |
Mark P. Jones  Home/Search
Context Related
| ogi.edu/~mpj/pubs/RR959.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: ogi.edu/~mpj/pubs/pepm94 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: It has long been suggested that parametric polymorphism might be implemented by generating a distinct version of the code for each monomorphic instance of a function that is used in a given program. However, most implementations avoid this approach for fear that it could lead to a substantial increase in the size of the compiled program -- a so-called code explosion -- and that it would complicate the process of separate compilation. An alternative, used in many systems, is to have a single... (Update)
Context of citations to this paper: More
...version for each distinct set of instantiating type variables; see Section 6. Although this approach has been suggested before #Jones, 1993#, and similar e#ects have sometimes been achieved by accident#Tarditi et al. 1996#, we are unaware of any previous practical,...
...version for each distinct set of instantiating type variables; see Section 6. Although this approach has been suggested before [19], and similar effects have sometimes been achieved by accident [41] we are unaware of any previous full scale implementation. The...
Cited by: More
Once Upon a Type - Turner, Wadler, Mossin (1997) (Correct)
The implementation of the Gofer functional programming system - Jones (1994) (Correct)
Kinded Parameteric Overloading - Duggan, Ophel (1994) (Correct)
Similar documents (at the sentence level):
48.5%: Dictionary-free Overloading by Partial Evaluation - Jones (1994) (Correct)
Active bibliography (related documents): More All
0.6: ML typing, explicit polymorphism and qualified types - Jones (1994) (Correct)
0.2: Implementing Type Classes - Peterson, Jones (1993) (Correct)
0.2: Simplifying and Improving Qualified Types - Jones (1995) (Correct)
Similar documents based on text: More All
0.1: The Amber Machine - Cardelli (1986) (Correct)
0.1: Unboxed Values and Polymorphic Typing Revisited - Thiemann (1995) (Correct)
0.1: Flexible Representation Analysis - Shao (1997) (Correct)
Related documents from co-citation: More All
9: Implementing lazy functional languages on stock hardware: the Spineless Tagless .. - Jones - 1992
9: Unboxed objects and polymorphic typing - Leroy - 1992
9: Compiling with Continuations (context) - Appel - 1992
BibTeX entry: (Update)
M.P. Jones. Partial evaluation for dictionary-free overloading. Research Report YALEU/DCS/RR-959, Yale University, New Haven, Connecticut, USA, April 1993. http://citeseer.ist.psu.edu/jones93partial.html More
@techreport{ jones93partial,
author = "M. P. Jones",
title = "Partial Evaluation for Dictionary-Free Overloading",
number = "YALEU/DCS/RR-959",
year = "1993",
url = "citeseer.ist.psu.edu/jones93partial.html" }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Milner - 1978
521 Compiling with continuations (context) - Appel - 1992
257 Report on the programming language Haskell (context) - Hudak, Jones et al. - 1992
190 How to make ad-hoc polymorphism less ad-hoc - Wadler, Blott - 1989
162 Unboxed objects and polymorphic typing - Leroy - 1992
129 A system of constructor classes: overloading and implicit hi.. - Jones - 1993
99 A partial evaluator for the untyped lambda-calculus - Gomard, Jones - 1991
89 A gentle introduction to Haskell - Hudak, Fasel - 1992
73 Unboxed values as first class citizens in a non-strict funct.. - Jones, Launchbury - 1991
49 A theory of qualified types - Jones - 1992
45 a dynamically-typed object-oriented language based on protot.. (context) - Chambers, Ungar et al. - 1991
42 An ad-hoc approach to the implementation of polymorphism - Morrison, Dearle et al. - 1991
33 Implementing Haskell overloading - Augustsson - 1993
32 Parametric type classes (context) - Chen, Hudak et al. - 1992
24 Programming Research Group (context) - Jones, Theory et al. - 1992
18 Implementing Type Classes - Peterson, Jones - 1993
14 Department of Computing Science (context) - Jones, Wadler et al. - 1992
12 A simple semantics for ML polymorphism (context) - Ohori - 1989
10 Computing with lattices: An application of type classes (context) - Jones - 1992
10 Efficient data representation in polymorphic languages (context) - Leroy - 1990
2 Typechecking with ad hoc polymorphism (context) - Thatte - 1992
The graph only includes citing articles where the year of publication is known.
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