|
gptkbp:instanceOf
|
typed lambda calculus
|
|
gptkbp:alsoKnownAs
|
gptkb:polymorphic_lambda_calculus
|
|
gptkbp:basisFor
|
gptkb:ATS
gptkb:Agda
gptkb:Coq
gptkb:Elm
gptkb:Lean
gptkb:Pony
gptkb:PureScript
gptkb:ReasonML
gptkb:Idris
gptkb:Flow
gptkb:Haskell_type_system
gptkb:OCaml_type_system
gptkb:Scala_type_system
gptkb:F#_type_system
gptkb:FlowType
gptkb:GHC_Core
gptkb:Hindley–Milner_type_system
gptkb:Twelf
gptkb:Typed_ATS
gptkb:Typed_Eff
gptkb:Typed_Elm
gptkb:Typed_F#
gptkb:Typed_Flow
gptkb:Typed_Haskell
gptkb:Typed_Koka
gptkb:Typed_OCaml
gptkb:Typed_Pony
gptkb:Typed_PureScript
gptkb:Typed_ReasonML
gptkb:Typed_SML
gptkb:Typed_Scala
gptkb:Typed_Typed_ATS
gptkb:Typed_Typed_Eff
gptkb:Typed_Typed_Koka
gptkb:Typed_Typed_Pony
gptkb:Typed_Typed_PureScript
gptkb:Eff
gptkb:Koka
gptkb:Typed_Clojure
gptkb:Typed_Common_Lisp
gptkb:Typed_Crystal
gptkb:Typed_Dart
gptkb:Typed_Elixir
gptkb:Typed_Erlang
gptkb:Typed_Forth
gptkb:Typed_Go
gptkb:Typed_JavaScript
gptkb:Typed_Julia
gptkb:Typed_Kotlin
gptkb:Typed_Lisp
gptkb:Typed_Lua
gptkb:Typed_Mercury
gptkb:Typed_Nim
gptkb:Typed_PHP
gptkb:Typed_Perl
gptkb:Typed_Python
gptkb:Typed_Racket
gptkb:Typed_Ruby
gptkb:Typed_Rust
gptkb:Typed_Scheme
gptkb:Typed_Swift
F*
Typed Prolog
ML type system
Rust (influenced)
TypeScript (influenced)
Typed F*
Typed TypeScript
Typed Typed Clojure
Typed Typed Common Lisp
Typed Typed Crystal
Typed Typed Dart
Typed Typed Elixir
Typed Typed Elm
Typed Typed Erlang
Typed Typed F#
Typed Typed F*
Typed Typed Flow
Typed Typed Forth
Typed Typed Go
Typed Typed Haskell
Typed Typed JavaScript
Typed Typed Julia
Typed Typed Kotlin
Typed Typed Lisp
Typed Typed Lua
Typed Typed Mercury
Typed Typed Nim
Typed Typed OCaml
Typed Typed PHP
Typed Typed Perl
Typed Typed Prolog
Typed Typed Python
Typed Typed Racket
Typed Typed ReasonML
Typed Typed Ruby
Typed Typed Rust
Typed Typed SML
Typed Typed Scala
Typed Typed Scheme
Typed Typed Swift
Typed Typed TypeScript
|
|
gptkbp:feature
|
parametric polymorphism
second-order quantification
|
|
gptkbp:generalizes
|
gptkb:simply_typed_lambda_calculus
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
system F
|
|
gptkbp:introduced
|
gptkb:Jean-Yves_Girard
|
|
gptkbp:introducedIn
|
1972
|
|
gptkbp:usedIn
|
gptkb:logic
programming language theory
|
|
gptkbp:bfsParent
|
gptkb:Jean-Yves_Girard
|
|
gptkbp:bfsLayer
|
5
|