Statements (49)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:political_theory
|
| gptkbp:developed_by |
gptkb:Roger_Hindley
gptkb:Robin_Milner |
| gptkbp:enables |
generic programming
|
| https://www.w3.org/2000/01/rdf-schema#label |
Hindley-Milner type system
|
| gptkbp:is_based_on |
lambda calculus
|
| gptkbp:is_criticized_for |
complexity in type inference
inability to express certain types lack of support for dependent types limitations in expressiveness |
| gptkbp:is_discussed_in |
academic papers
programming language textbooks |
| gptkbp:is_implemented_in |
gptkb:OCaml
gptkb:Haskell gptkb:ML gptkb:Scala |
| gptkbp:is_influenced_by |
Church encoding
Curry-Howard correspondence type lambda calculus |
| gptkbp:is_known_for |
static typing
type safety expressiveness |
| gptkbp:is_part_of |
functional programming paradigm
|
| gptkbp:is_related_to |
gptkb:political_theory
type checking type classes type constraints subtyping type erasure type variables type annotations |
| gptkbp:is_supported_by |
type inference algorithms
constraint solving unification algorithms |
| gptkbp:is_taught_in |
computer science courses
|
| gptkbp:is_used_for |
gptkb:Software_Development
compiler design program verification type analysis |
| gptkbp:is_used_in |
software engineering
compilers programming language design type-safe languages |
| gptkbp:provides |
type inference
|
| gptkbp:supports |
polymorphism
|
| gptkbp:used_in |
functional programming languages
|
| gptkbp:bfsParent |
gptkb:Standard_ML
gptkb:System_F |
| gptkbp:bfsLayer |
5
|