19798 search results - page 2 / 3960 » Is Structural Subtyping Useful |
104
click to vote
MSCS
2008
15 years 17 days ago
2008
Subtyping for inductive types in dependent type theories is studied in the framework of coercive subtyping. General structural subtyping rules for parameterised inductive types ar...
89
Voted
ACTA
2002
15 years 15 days ago
2002
Object type constructors have been introduced as an approach to adding container object types to a language with type inference. Useful subtyping for object type constructors requ...
86
Voted
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Nominal subtyping (or user-defined subtyping) and structural subtyping each have their own strengths and weaknesses. Nominal subtyping allows programmers to explicitly express de...
102
Voted
MPC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. It is natural to present subtyping for recursive types coinductively. However, Gapeyev, Levin and Pierce have noted that there is a problem with coinductive definitions ...
90
Voted
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
Nominal and structural subtyping each have their own strengths and weaknesses. Nominal subtyping allows programmers to explicitly express design intent, and, when types are associa...