Statements (18)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:logic
|
gptkbp:alternativeName |
gptkb:second-order_lambda_calculus
|
gptkbp:describes |
types that can be parameterized
|
gptkbp:enables |
generic programming
|
gptkbp:field |
gptkb:mathematics
computer science |
https://www.w3.org/2000/01/rdf-schema#label |
polymorphic type theory
|
gptkbp:influenced |
gptkb:Haskell
gptkb:Scala ML |
gptkbp:introduced |
gptkb:Jean-Yves_Girard
|
gptkbp:introducedIn |
1972
|
gptkbp:relatedTo |
gptkb:lambda_calculus
gptkb:System_F type system |
gptkbp:usedIn |
functional programming languages
|
gptkbp:bfsParent |
gptkb:logic
|
gptkbp:bfsLayer |
4
|