Subtyping
Top View
- Subtyping: What It Is and Its Role in Precision Medicine
- Subtyping and Inheritance
- The Simple Essence of Algebraic Subtyping Principal Type Inference with Subtyping Made Easy (Functional Pearl)
- Subtyping with Generics: a Unified Approach
- Is Structural Subtyping Useful? an Empirical Study
- A Core Calculus of Metaclasses
- CSCE 314 Programming Languages Classes, Subclasses, and Subtyping
- Algebraic Subtyping
- 2 Consistent Subtyping For
- Type Classes and Subtyping
- Connotational Subtyping and Runtime Class Mutability in Ruby Ian S
- Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance
- Subtyping-PDF
- SFJ: an Implementation of Semantic Featherweight Java
- Subtyping and Parametricity
- Dynamic Objects and Meta-Level Programming of an EXPRESS Language Environment
- Integrating Nominal and Structural Subtyping
- Subtyping Is Not a Good \Match" for Object-Oriented Languages ?