Statements (27)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb: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 |
gptkb:typed_lambda_calculus
|
| gptkbp:hasProperty |
expressive type system
undecidable type checking |
| 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 |
gptkb:theoretical_computer_science
programming language theory |
| gptkbp:bfsParent |
gptkb:System_Fω
gptkb:System_F |
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
System F<:
|