James William O'Toole Jr. Type Abstraction Rules for References: A comparison of four which have achieved notoriety. Technical Memo MIT/LCS/TM-390, Laboratory for Computer Science, MIT, 545 Technology Square, Cambridge, Massachusetts 02139, August 1991. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Functional Encapsulation and Type Reconstruction in a.. - Gupta (1995) (2 citations) (Correct)
Standard ML Weak Polymorphism Can Be Sound - Greiner (1993) (8 citations) (Correct)
A Typed Approach to Layered Programming Language Design - Gupta (1994) (1 citation) (Correct)
Standard ML of New Jersey - Appel, MacQueen (1991) (152 citations) (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