Statements (29)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
|
| gptkbp:aimsTo |
improve type safety
|
| gptkbp:associatedWith |
gptkb:EPFL
|
| gptkbp:category |
gptkb:programming_language
type systems |
| gptkbp:extendsTo |
gptkb:Scala
|
| gptkbp:focusesOn |
static typing
|
| gptkbp:hasFeature |
type inference
dependent types type soundness refinement types |
| gptkbp:hasPaperTitle |
Dependent Object Types
|
| gptkbp:influencedBy |
gptkb:Java
gptkb:Haskell gptkb:Scala gptkb:DOT_calculus ML |
| gptkbp:notableContributor |
gptkb:Martin_Odersky
gptkb:Lars_Hupel gptkb:Lex_Spoon gptkb:Nada_Amin gptkb:Tiark_Rompf |
| gptkbp:presentedBy |
gptkb:OOPSLA_2011
|
| gptkbp:publicationYear |
2011
|
| gptkbp:relatedTo |
gptkb:Scala_type_system
|
| gptkbp:status |
gptkb:research
|
| gptkbp:bfsParent |
gptkb:system_F
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Typed Scala
|