|
gptkbp:instanceOf
|
typed lambda calculus
|
|
gptkbp:alsoKnownAs
|
gptkb:System_F_omega
|
|
gptkbp:basisFor
|
gptkb:Haskell_type_system
gptkb:OCaml_type_system
gptkb:Scala_type_system
GHC extensions
type systems in programming languages
|
|
gptkbp:describedBy
|
gptkb:category_theory
proof theory
|
|
gptkbp:extendsTo
|
gptkb:System_F
|
|
gptkbp:feature
|
polymorphism
kinds
type constructors
type operators
|
|
gptkbp:formedBy
|
gptkb:second-order_lambda_calculus_with_type_operators
|
|
gptkbp:hasKindSystem
|
yes
|
|
gptkbp:hasPolymorphism
|
yes
|
|
gptkbp:hasTypeConstructors
|
yes
|
|
gptkbp:hasTypeOperators
|
yes
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
System Fω
|
|
gptkbp:introduced
|
gptkb:Jean-Yves_Girard
|
|
gptkbp:relatedTo
|
gptkb:lambda_calculus
gptkb:System_F<:
gptkb:System_Fη
gptkb:System_F
|
|
gptkbp:supports
|
higher-kinded polymorphism
|
|
gptkbp:usedIn
|
gptkb:logic
theoretical computer science
functional programming languages
|
|
gptkbp:bfsParent
|
gptkb:polymorphic_lambda_calculus
gptkb:System_F
gptkb:second-order_lambda_calculus
|
|
gptkbp:bfsLayer
|
6
|