Neal Glew Cornell University 7 April 1999  Home/Search
Context Related
| cornell.edu/talc/pap...taggingtr.ps.gz From: cornell.edu/talc/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Type dispatch constructs are an important feature of many programming languages. (Update)
Cited by: More
From System F to Typed Assembly Language - Greg Morrisett Cornell (1999) (Correct)
Scalable Certification for Typed Assembly Language - Grossman, Morrisett (2000) (Correct)
An Open and Shut Typecase - Vytiniotis, Washburn, Weirich (2004) (Correct)
Similar documents (at the sentence level):
42.8%: Type Dispatch for Named Hierarchical Types - Glew (1999) (Correct)
Active bibliography (related documents): More All
0.1: Stack-Based Typed Assembly Language - Morrisett, Crary, Glew, Walker (1998) (Correct)
0.1: From System F to Typed Assembly Language (Extended Version) - Morrisett, Walker, Crary.. (1997) (Correct)
0.0: Foundations for the Implementation of Higher-Order Subtyping - Crary (1997) (Correct)
Similar documents based on text: More All
0.1: Object Closure Conversion - Glew (1999) (Correct)
Related documents from co-citation: More All
11: Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
9: Dynamic Typing in a Statically Typed Language - Abadi, Cardelli et al. - 1989
8: Type-safe linking and modular assembly language - Glew, Morrisett - 1999
BibTeX entry: (Update)
Neal Glew. Type dispatch for named hierarchical types. Technical Report TR99-1738, Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853-7501, USA, April 1999. Available at http://www.cs.cornell.edu/ glew/paper-list.html. http://citeseer.ist.psu.edu/article/glew99type.html More
@inproceedings{ glew99type,
author = "Neal Glew",
title = "Type Dispatch for Named Hierarchical Types",
booktitle = "International Conference on Functional Programming",
pages = "172-182",
year = "1999",
url = "citeseer.ist.psu.edu/article/glew99type.html" }
Citations (may not include all citations):380 The Java Language Specification (context) - Gosling, Joy et al. - 1996
201 to typed assembly language (context) - Morrisett, Walker et al. - 1998
186 Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
174 Springer-Verlag (context) - Abadi, Cardelli et al. - 1996
115 Revised report on the algorithmic language Scheme - Kelsey, Clinger et al. - 1998
86 Intensional polymorphism in type-erasure semantics - Crary, Weirich et al. - 1998
85 Abstract models of memory management (context) - Morrisett, Felleisen et al. - 1995
50 Department of Computer Science and Engineering (context) - Chambers, language et al. - 1997
37 The design of a class mechanism for Moby - Fisher, Reppy - 1999
18 Published as CMU Technical Report CMU-CS (context) - Morrisett, Types et al. - 1995
12 Department of Computer Science (context) - Crary, Weirich et al. - 1999
2 TALx86: A realistic type assembly language (context) - Morrisett, Crary et al. - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.cornell.edu/talc/papers.html): More
Alias Types for Recursive Data Structures - Extended Version David (Correct)
Compiling for Runtime Code Generation - Smith, Grossman, Morrisett.. (2000) (Correct)
A Type System for Expressive Security Policies - Walker (1999) (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