Searching for "Structural Subtyping of Non-Recursive Types is Decidable." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Structural Subtyping of Non-Recursive Types is Decidable
- …Structural Subtyping of Non-Recursive Types is Decidable Abstract We show that the first…
- Cited by 23 (4 self) – Add To MetaCart
-
Structural Subtyping of Non-Recursive Types is Decidable
- … Structural Subtyping of Non-Recursive Types is Decidable Viktor Kuncak and Martin Rinard…
- Add To MetaCart
-
On the theory of structural subtyping
- …Abstract We show that the first-order theory of structural subtyping of non-recursive types…
- Cited by 16 (6 self) – Add To MetaCart
-
Type Inference with Structural Subtyping: A faithful formalization of an efficient constraint
- … subtyping of non-recursive types to be decidable. Besides, in an attempt to overcome the practical…
- Cited by 13 (4 self) – Add To MetaCart
-
Type Inference With Structural Subtyping:
- … order theory of structural subtyping of non-recursive types to be decidable. Besides, in an attempt…
- Add To MetaCart
Showing 1 through 5.
