Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:typed_lambda_calculus
|
| gptkbp:alsoKnownAs |
gptkb:System_Fω
|
| gptkbp:basisFor |
gptkb:Haskell_type_system
gptkb:Scala_type_system GHC extensions OCaml module system |
| gptkbp:decidability |
undecidable type inference
|
| gptkbp:extendsTo |
gptkb:System_F
|
| gptkbp:feature |
polymorphism
higher-kinded types type operators |
| gptkbp:formedBy |
typed lambda calculus notation
|
| gptkbp:introduced |
gptkb:Jean-Yves_Girard
|
| gptkbp:introducedIn |
1972
|
| gptkbp:relatedTo |
gptkb:lambda_calculus
gptkb:Curry-Howard_correspondence gptkb:second-order_logic |
| gptkbp:supports |
type abstraction
type application type-level functions |
| gptkbp:usedIn |
gptkb:logic
proof theory functional programming languages |
| gptkbp:bfsParent |
gptkb:System_Fω
|
| gptkbp:bfsLayer |
7
|
| http://www.w3.org/2000/01/rdf-schema#label |
System F omega
|