Searching for "Constructor Subtyping." – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
Constructor subtyping
- …Constructor subtyping Gilles Barthe 12 and Maria Jo~ao Frade 1 1 Departamento de Informatica…
- Cited by 7 (3 self) – Add To MetaCart
-
Type inference with Constructor subtyping
- …Type inference with Constructor subtyping Maria Jo~ao Frade Departamento de Informatica…
- Add To MetaCart
-
Constructor subtyping in the Calculus of Inductive Constructions
- …Constructor subtyping in the Calculus of Inductive Constructions Gilles Barthe 12 and Femke van…
- Cited by 5 (0 self) – Add To MetaCart
-
Type-Based Termination of Recursive Definitions and Constructor Subtyping in Typed Lambda Calculi
- …Type-Based Termination of Recursive Definitions and Constructor Subtyping in Typed Lambda Calculi…
- Cited by 1 (0 self) – Add To MetaCart
-
Subtyping for Object Type Constructors
- …Subtyping for Object Type Constructors Dominic Duggan Adriana Compagnoni + Abstract Object…
- Cited by 7 (1 self) – Add To MetaCart
-
Simple objects for Standard ML
- …) based on explicit declarations of object types, object constructors, and subtyping relationships, with a…
- Cited by 42 (1 self) – Add To MetaCart
-
Three Discussions on Object-Oriented Typing
- … phenomenon: the presence or absence of type constructors. In languages with structural subtyping, all types…
- Cited by 13 (2 self) – Add To MetaCart
-
Termination and Guardedness Checking with Continuous Types - Yet Another Approach to General Recursion
- … work: Lexicographic and simultaneous product of ordinal indices. Constructor subtyping. Interplay…
- Cited by 6 (3 self) – Add To MetaCart
-
Higher-order subtyping and its decidability
- … quantification, and datatypes with built in subtyping and overloading (constructor subtyping) is defined…
- Cited by 1 (0 self) – Add To MetaCart
-
Polymorphism and Subtyping in Interfaces
- … to be subtypes of given types. Subtyping constraints involving type constructors provide a very flexible…
- Cited by 12 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
