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
|
https://www.w3.org/2000/01/rdf-schema#label |
Typed Scala
|
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 |
research
|
gptkbp:bfsParent |
gptkb:system_F
|
gptkbp:bfsLayer |
6
|