Statements (58)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
type system
|
| gptkbp:developedBy |
gptkb:Roger_Hindley
gptkb:Robin_Milner |
| gptkbp:enables |
static type checking
|
| https://www.w3.org/2000/01/rdf-schema#label |
Hindley-Milner type system
|
| gptkbp:isBasedOn |
lambda calculus
|
| gptkbp:isCharacterizedBy |
let-polymorphism
monomorphic types parametric polymorphism subtyping type constructors type schemes type variables |
| gptkbp:isLocatedIn |
gptkb:Haskell
ML OCaml F# |
| gptkbp:isRelatedTo |
functional programming
programming languages generic programming software development category theory type checking type theory mathematical logic type inference type safety compiler design software engineering type conversion program analysis lambda calculus programming paradigms abstract interpretation type systems formal methods type specialization type-level programming type abstraction type checking algorithms type coercion type completeness type constructors type erasure type inference algorithms type inference rules type reflection type soundness type system design type system implementation type variables |
| gptkbp:isUsedIn |
type theory
type-safe programming compiler construction programming language design |
| gptkbp:provides |
type inference
|
| gptkbp:supports |
polymorphism
|
| gptkbp:usedIn |
functional programming languages
|