Joseph C. Vanderwaart Derek Dreyer Leaf Petersen Karl Crary Robert Harper...  Home/Search
Context Related
| cmu.edu/~rwh/papers/datatypes...tldi.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: cmu.edu/~rwh/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is di erent from any other type, including other identically de ned datatypes. A natural way of accounting for this is to consider datatypes to be abstract. When this interpretation is applied to type-preserving compilation, however, it has the unfortunate consequence that datatype constructors cannot be inlined, substantially increasing the run-time cost of... (Update)
Context of citations to this paper: More
...d (v) Thus one reasonable representation strategy is to represent roll d (v) exactly the same as v. In the companion technical report [15], we give a more precise argument as to why this is reasonable, making use of two key insights. First, it is an invariant of the TILT...
Cited by: More
An Open and Shut Typecase - Vytiniotis, Washburn, Weirich (2004) (Correct)
Typed Compilation of Recursive Datatypes - Vanderwaart, Dreyer, Petersen.. (2003) (Correct)
Active bibliography (related documents): More All
0.4: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.2: Toward a Practical Type Theory for Recursive Modules - Dreyer, Harper, Crary (2001) (Correct)
0.1: Numbering Matters: First-Order Canonical Forms for.. - Gauthier, Pottier (2004) (Correct)
Similar documents based on text: More All
0.3: A Type System for Higher-Order Modules - Dreyer, Crary, Harper (2003) (Correct)
0.3: Transparent and Opaque Interpretations of Datatypes - Karl Crary (1998) (Correct)
0.2: An Expressive, Scalable Type Theory for Certified Code - Crary, Vanderwaart (2001) (Correct)
Related documents from co-citation: More All
3: Interpr'etation fonctionelle et 'elimination des coupures de l'arithm'etique d'o.. (context) - Girard - 1972
3: Deciding type equivalence in a language with singleton kinds - Stone, Harper - 1999
2: Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
BibTeX entry: (Update)
Joseph C. Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, and Perry Cheng. Typed compilation of recursive datatypes. Technical Report CMU-CS-02-200, School of Computer Science, Carnegie Mellon University, http://citeseer.ist.psu.edu/625820.html More
@misc{ vanderwaart-typed,
author = "J. Vanderwaart and D. Dreyer and L. Petersen and K. Crary and R. Harper
and P. Cheng",
title = "Typed compilation of recursive datatypes",
text = "Joseph C. Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert
Harper, and Perry Cheng. Typed compilation of recursive datatypes. Technical
Report CMU-CS-02-200, School of Computer Science, Carnegie Mellon University,",
url = "citeseer.ist.psu.edu/625820.html" }
Citations (may not include all citations):185 De nition of Standard ML (context) - Milner, Tofte et al. - 1997
129 ACM Transactions on Programming Languages and Systems (context) - Amadio, Cardelli et al. - 1993
93 TALx86: A realistic typed assembly language - Morrisett, Crary et al. - 1999
52 A type-theoretic interpretation of Standard ML - Harper, Stone - 1998
38 Coinductive axiomatization of recursive type equality and su.. - Brandt, Henglein - 1998
35 Deciding type equivalence in a language with singleton kinds - Stone, Harper - 2000
35 overview FLINTML compiler - An, the et al. - 1997
29 Mathematical Structures in Computer Science (context) - Curien, Ghelli et al. - 1992
13 elimination des coupures de l'arithmetique d'ordre superie.. (context) - Girard, etation - 1972
9 Implementing the TILT internal language - Petersen, Cheng et al. - 2000
8 Typed compilation of inclusive subtyping - Crary - 2000
6 Recursive subtyping revealed (context) - Gapeyev, Levin et al. - 2000
3 Formal semantics of the FLINT intermediate language (context) - League, Shao - 1998
Documents on the same site (http://www-2.cs.cmu.edu/~rwh/papers.htm): More
A Type System for Higher-Order Modules - Dreyer, Crary, Harper (2001) (Correct)
An Effective Theory of Type Refinements - Mandelbaum, Walker, Harper (2003) (Correct)
Adaptive Functional Programming - Acar, Blelloch, Harper (2001) (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