Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
type system
|
| gptkbp:feature |
polymorphism
subtyping |
| gptkbp:formalizes |
bounded quantification
second-order lambda calculus with subtyping |
| gptkbp:generalizes |
gptkb:System_F
|
| https://www.w3.org/2000/01/rdf-schema#label |
System F c
|
| gptkbp:influenced |
MLsub
object-oriented type systems |
| gptkbp:introduced |
gptkb:Gordon_Plotkin
gptkb:John_C._Mitchell |
| gptkbp:introducedIn |
1985
|
| gptkbp:relatedTo |
gptkb:lambda_calculus
gptkb:System_F |
| gptkbp:usedIn |
gptkb:logic
programming language theory |
| gptkbp:bfsParent |
gptkb:System_F
|
| gptkbp:bfsLayer |
6
|