R. M. Amadio and L. Cardelli. Subtyping recursive types. ACM TOPLAS, 15(4):575--631, 1993. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Types for Access Control - De Nicola, Ferrari, Pugliese, Venneri (2000) (2 citations) (Correct)
Typing and Subtyping for an Object-Oriented - Process Algebra Malcolm (2002) (Correct)
Typing and Subtyping - For Mobile Processes (Correct)
The Complexity of Simple Subtyping Systems - Rehof (1998) (9 citations) (Correct)
Assigning Types to Processes - Yoshida, Hennessy (2000) (32 citations) (Correct)
Faithful Translations between Polyvariant Flows and.. - Amtoft, Turbak (9 citations) (Correct)
Developments in Object-Oriented Type Systems - Schwartzbach (1994) (5 citations) (Correct)
XML-Fluent Mobile Agents - Pericas-Geertsen (1999) (2 citations) (Correct)
Schema Refinement and Schema Integration in Object-Oriented.. - Thieme, Siebes (1993) (1 citation) (Correct)
An Approach to Schema Integration Based on Transformations.. - Thieme, Siebes (1994) (5 citations) (Correct)
Type Equivalence, Subtyping, and Type Transformations in.. - Thieme, Siebes (Correct)
Programming with Role-Based Access Control - Radha Jagadeesan Alan (Correct)
On Sets of Terms: - Study Of Generalisation (Correct)
Regular Expression Types for XML - Haruo Hosoya Kyoto (2000) (51 citations) (Correct)
Assigning Types to Processes - Yoshida, Hennessy (2000) (32 citations) (Correct)
Faithful Translations between Polyvariant Flows and.. - Amtoft, Turbak (2000) (9 citations) (Correct)
Faithful Translations between Polyvariant Flows and.. - Amtoft, Turbak (2002) (9 citations) (Correct)
Faithful Translations between Polyvariant Flows and.. - Amtoft, Turbak (2000) (9 citations) (Correct)
Faithful Translations between Polyvariant Flows and.. - Amtoft, Turbak (2000) (9 citations) (Correct)
Faithful Translations between Polyvariant Flows and.. - Amtoft, Turbak (2000) (9 citations) (Correct)
A Type System Equivalent to a Model Checker - Mayur Naik Stanford (Correct)
Static Checking of Dynamically Generated Queries in.. - Gould, Su, Devanbu (2004) (5 citations) (Correct)
Polymorphism in ACL2 - Mark (2003) (Correct)
A Formal Foundation for Concurrent Object Oriented Programming - Grosu (1995) (2 citations) (Correct)
Signatures: A Language Extension for Improving Type.. - Baumgartner, Russo (1995) (20 citations) (Correct)
First 50 documents Next 50
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