(Enter summary)
Abstract: Type dispatch constructs are an important feature of many programming languages. (Update)
Similar documents based on text: More All
0.8: Type Dispatch for Named Hierarchical Types - Glew (1999)
(Correct)
0.1: Stack-Based Typed Assembly Language - Morrisett, Crary, Walker, Glew (1998)
(Correct)
0.1: From System F to Typed Assembly Language - Morrisett, Walker, Crary, Glew (1998)
(Correct)
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