Didier Rémy  Home/Search
Context Related
| inria.fr/INRIA/Pro...extrecords.ps.gz 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: pauillac.inria.fr/...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe a way of representing polymorphic extensible records in statically typed programming languages that optimizes memory allocation, access and creation, rather than polymorphic extension. (Update)
Context of citations to this paper: More
.... representation optimization for polymorphic bindings [34, 20] and ecient data representation for associative access for labeled records [35]. These methods show some positive results, but polymorphic primitives remain inecient compared to the corresponding specialized...
Cited by: More
A Polymorphic Record Calculus and Its Compilation - Ohori (1995) (Correct)
Type-Directed Specialization of Polymorphism - Ohori (1999) (Correct)
Active bibliography (related documents): More All
0.5: Putting the 1991 Census Sample of Anonymised Records on your .. - Turton, Openshaw (Correct)
0.0: Type-Based Analysis and Applications - Palsberg (2001) (Correct)
0.0: Head-Tactics Simplification - Bertot (1997) (Correct)
Similar documents based on text: More All
0.4: Using, Understanding, and Unraveling - The OCaml Language - From.. - Remy (Correct)
0.2: Return Types for Functional Continuations - Carl Gunter University (Correct)
0.2: Objective ML: A simple object-oriented extension of ML - Remy, Vouillon (1997) (Correct)
Related documents from co-citation: More All
2: A theory of type polymorphism in programming (context) - Milner - 1978
2: A compilation method for ML-style polymorphic record calculi - Ohori - 1992
2: Tag-free garbage collection using explicit type parameters - Tolmach
BibTeX entry: (Update)
D. Remy. Ecient representation of extensible records. In Proc. ACM SIGPLAN Workshop on ML and its applications, pages 12-16, 1994. http://citeseer.ist.psu.edu/442909.html More
@misc{ emy94ecient,
author = "D. emy",
title = "Ecient representation of extensible records",
text = "D. Remy. Ecient representation of extensible records. In Proc. ACM SIGPLAN
Workshop on ML and its applications, pages 12-16, 1994.",
year = "1994",
url = "citeseer.ist.psu.edu/442909.html" }
Citations (may not include all citations):81 The ZINC experiment: an economical implementation of the ML .. - Leroy - 1990
16 The CAML Reference Manual (context) - Weis - 1989
14 The denition of Standard ML (context) - Harper, Milner et al. - 1990
2 Computer Science (context) - Sedgewick - 1988
Documents on the same site (http://pauillac.inria.fr/~remy/publications.html): More
A Proof-Theoretic Assessment of Runtime Type Errors - Gunter, Rémy (1993) (Correct)
Syntactic Theories and the Algebra of Record Terms - Rémy (1993) (Correct)
Typing Record Concatenation for Free - Remy (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