subtyping

18 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Parametric types with multiple dependent parameters in Julia
user_113080030
•
1
1
56
subtyping julia types
Why coq doesn't use subtyping for logical or?
user_99066940
•
1
1
46
type-theory subtyping coq
Declaring a method that uses the subtype class in its signature?
user_4465540
•
1
1
54
subtyping scala types
Python 3: TypeError: Subscripted generics cannot be used with class and instance checks
user_24203410
•
3
0
679
subtyping isinstance typing subtype python-3.x
Sub-typing on Primitive types in Java
user_109663890
•
4
2
439
subtyping jls primitive subtype java
Polymorphic variant --> GADT?
user_46099150
•
3
1
355
polymorphic-variants subtyping gadt ocaml
Get Rc<RefCell<dyn T>>> on a sub-type
user_20104780
•
4
2
534
trait-objects subtyping rust
How are scala traits that extend classes compiled for a JVM target?
user_19164130
•
3
1
86
subtyping bytecode scala inheritance java
Is it possible to use a typeclass to implement a trait?
user_91125850
•
2
1
105
subtyping implicit typeclass scala
Does Haskell's type system honor the Liskov Substitution Principle?
user_19328900
•
15
1
605
subtyping liskov-substitution-principle haskell java types
Hot Questions