T. Jim and J. Palsberg. Type inference in systems of recursive types with subtyping. http: //www.cs.purdue.edu/homes/palsberg/, 1999. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Structural Subtyping of Non-Recursive Types is Decidable - Kuncak, Rinard (2003) (9 citations) (Correct)
Inference of generic types in Java - Donovan, Ernst (2003) (Correct)
On the Theory of Structural Subtyping - Kuncak, Rinard (2003) (Correct)
On the Theory of Structural Subtyping - Kuncak, Rinard (2003) (Correct)
Recursive Types - Gapeyev, Levin, Pierce (Correct)
Simple Usage Polymorphism - Wansbrough, Jones (2000) (8 citations) (Correct)
Simple Usage Polymorphism - Wansbrough, Jones (2000) (8 citations) (Correct)
Recursive Subtyping Revealed - Gapeyev, Levin, Pierce (2000) (7 citations) (Correct)
Behavioural Subtyping in Name Passing Synchronisation Trees - Honda (1999) (2 citations) (Correct)
Structural Subtyping of Non-Recursive Types is Decidable - Kuncak, Rinard (2003) (9 citations) (Correct)
An Implicitly-Typed Deadlock-Free Process Calculus - Naoki Kobayashi Shin (4 citations) (Correct)
Efficient Type Matching - Jha, Palsberg, Zhao (2002) (3 citations) Self-citation (Palsberg) (Correct)
Efficient and Flexible Matching of Recursive Types - Palsberg, Zhao (2000) (3 citations) Self-citation (Palsberg) (Correct)
Efficient and Flexible Matching of Recursive Types - Palsberg, Zhao (2000) (3 citations) Self-citation (Palsberg) (Correct)
Efficient and Flexible Matching of Recursive Types - Palsberg, Zhao (2000) (3 citations) Self-citation (Palsberg) (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