Karl Crary, Stephanie Weirich, Greg Morrisett  Home/Search
Context Related
| cornell.edu/sweirich/p...typepasstr.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: cornell.edu/sweirich/pape...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Intensional polymorphism, the ability to dispatch to di#erent routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languages, including tag-free garbage collection, unboxed function arguments, polymorphic marshalling, and flattened data structures. (Update)
Cited by: More
Type-Safe Distributed Programming for OCaml - John Billings Peter (Correct)
Sound and Complete Elimination of Singleton Kinds - Crary (2005) (Correct)
Typed Memory Management via Static Capabilities - David Walker Carnegie (2000) (Correct)
Similar documents (at the sentence level):
46.3%: Intensional Polymorphism in Type-Erasure Semantics - Crary, Weirich, Morrisett (1998) (Correct)
Active bibliography (related documents): More All
0.2: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.2: Flexible Type Analysis - Crary, Weirich (1999) (Correct)
0.2: Garbage Collection Based on a Linear Type System - Igarashi, Kobayashi (2000) (Correct)
Similar documents based on text: More All
0.3: Higher-Order Intensional Type Analysis in Type-Erasure Semantics - Weirich (2003) (Correct)
0.3: TALx86: A Realistic Typed Assembly Language - Morrisett, Crary, Glew.. (1999) (Correct)
Related documents from co-citation: More All
53: Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
37: Flexible type analysis - Crary, Weirich - 1999
35: Typed closure conversion - Minamide, Morrisett et al. - 1996
BibTeX entry: (Update)
Karl Crary, Stephanie Weirich, and Greg Morrisett. Intensional polymorphism in type-erasure semantics. In ACM SIGPLAN International Conference on Functional Programming, pages 301--312, Baltimore, September 1998. http://citeseer.ist.psu.edu/crary98intensional.html More
@inproceedings{ crary98intensional,
author = "Karl Crary and Stephanie Weirich and J. Gregory Morrisett",
title = "Intensional Polymorphism in Type-Erasure Semantics",
booktitle = "International Conference on Functional Programming",
pages = "301-312",
year = "1998",
url = "citeseer.ist.psu.edu/crary98intensional.html" }
Citations (may not include all citations):311 Abstract types have existential type (context) - Mitchell, Plotkin - 1988
215 A type-theoretic approach to higher-order modules with shari.. - Harper, Lillibridge - 1994
210 TIL: A type-directed optimizing compiler for ML - Tarditi, Morrisett et al. - 1996
201 to typed assembly language (context) - Morrisett, Walker et al. - 1998
186 Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
162 Unboxed objects and polymorphic typing - Leroy - 1992
147 abstraction and parametric polymorphism (context) - Reynolds - 1983
138 Typed closure conversion - Minamide, Morrisett et al. - 1996
132 Interpretation fonctionelle et elimination des coupures de l.. (context) - Girard - 1972
121 Higher-order modules and the phase distinction - Harper, Mitchell et al. - 1990
101 ACM Transactions on Programming Languages and Systems (context) - Constable, Zlatin et al. - 1984
85 Abstract models of memory management (context) - Morrisett, Felleisen et al. - 1995
83 From region inference to von Neumann machines via region rep.. - Birkedal, Tofte et al. - 1996
61 Une extension de l'interpretation de Godel a l'analyse (context) - Girard - 1971
50 Flexible representation analysis - Shao - 1997
50 Semantics of memory management for polymorphic languages - Morrisett, Harper - 1997
49 A theory of qualified types - Jones - 1992
43 Department of Computer Science (context) - Constable, of et al. - 1982
36 School of Computer Science (context) - Morrisett, Types et al. - 1995
35 overview FLINTML compiler - An, the et al. - 1997
27 Partitioning dataflow analyses using types (context) - Ruf - 1997
17 TILML compiler Performance and safety through type - Cheng, Harper et al. - 1996
15 Compiler-directed type reconstruction for polymorphic langua.. - Aditya, Caro - 1993
11 Compilation Based on a Calculus for Explicit Type-Passing - Minamide, of et al. - 1996
10 Optimal type lifting - Saha, Shao - 1998
10 A type-based semantics for user-defined marshalling in polym.. (context) - Duggan - 1998
8 and Pierre Weis (context) - Dubois, Rouaix - 1995
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