Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
type system
|
| gptkbp:alsoKnownAs |
gptkb:F-sub
|
| gptkbp:basisFor |
research in type theory
type systems in functional programming languages |
| gptkbp:extendsTo |
gptkb:System_F
|
| gptkbp:feature |
parametric polymorphism
subtyping |
| gptkbp:formedBy |
typed lambda calculus
|
| gptkbp:hasProperty |
expressive type system
undecidable type checking |
| https://www.w3.org/2000/01/rdf-schema#label |
System F<:
|
| gptkbp:influenced |
gptkb:Haskell_type_system
gptkb:Scala_type_system ML type system |
| gptkbp:introduced |
gptkb:Gordon_Plotkin
gptkb:John_C._Mitchell |
| gptkbp:introducedIn |
1985
|
| gptkbp:relatedTo |
gptkb:lambda_calculus
gptkb:System_F subtyping polymorphism |
| gptkbp:studiedIn |
proof theory
type inference |
| gptkbp:usedIn |
theoretical computer science
programming language theory |
| gptkbp:bfsParent |
gptkb:System_F
|
| gptkbp:bfsLayer |
6
|