Frederick Smith, David Walker, and Greg Morrisett. Alias types. Technical Report TR99-1773, Cornell University, October 1999. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Simultaneous Mapping and Localization With Sparse.. - Thrun, Koller.. (2002) (9 citations) (Correct)
Results for Outdoor-SLAM Using Sparse Extended Information Filters - Liu, Thrun (2002) (4 citations) (Correct)
Inheritance Mechanism Reification by Means of First Class Object.. - Ducasse (1995) (1 citation) (Correct)
A Reflective Model for First Class Dependencies - Ducasse, Blay-Fornarino.. (1995) (8 citations) (Correct)
Probabilistic Methods for State Estimation in Robotics - Thrun, Fox, Burgard (1997) (2 citations) (Correct)
Robotic Mapping: A Survey - Thrun (2002) (31 citations) (Correct)
Typed Memory Management in a Calculus of Capabilities - Walker, Crary, Morrisett (2000) Self-citation (Walker Morrisett) (Correct)
A Type System for Expressive Security Policies - Walker (1999) (28 citations) Self-citation (Walker) (Correct)
Alias Types - Smith, Walker, Morrisett (26 citations) Self-citation (Smith Walker Morrisett) (Correct)
Alias Types - Smith, Walker, Morrisett (26 citations) Self-citation (Smith Walker Morrisett) (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