Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
formal semantics
|
| gptkbp:alsoKnownAs |
gptkb:System_F
|
| gptkbp:application |
functional programming languages
|
| gptkbp:basisFor |
generic programming
type inference |
| gptkbp:describes |
gptkb:second-order_lambda_calculus
|
| gptkbp:developedBy |
gptkb:Jean-Yves_Girard
gptkb:John_C._Reynolds |
| gptkbp:extendsTo |
gptkb:simply_typed_lambda_calculus
|
| gptkbp:feature |
parametric polymorphism
|
| gptkbp:field |
gptkb:logic
computer science |
| https://www.w3.org/2000/01/rdf-schema#label |
polymorphic lambda calculus
|
| gptkbp:influenced |
gptkb:Haskell
ML |
| gptkbp:introducedIn |
1972
|
| gptkbp:notation |
∀ (universal quantification)
|
| gptkbp:relatedTo |
gptkb:Curry–Howard_correspondence
gptkb:System_Fω gptkb:Girard's_paradox |
| gptkbp:bfsParent |
gptkb:lambda_calculus
gptkb:John_C._Reynolds |
| gptkbp:bfsLayer |
5
|