Hindley–Milner
Sign in to saveAlso known as Damas–Milner, Damas–Hindley–Milner, HM, DHM
type system supporting type inference
In the Vinony graph
Vinony's link graph records 29 inbound references to Hindley–Milner, and connects out to System F, unification and International Standard Book Number.
It sits within the topics 1969 in computing, 1978 in computing and 1985 in computing.
Vinony links it to 5 Wikipedia language editions.
Connections
System F
Entity
unification
Entity
International Standard Book Number
Entity
C
Entity
programming language
Entity
C++
Entity
digital object identifier
Entity
Pascal
Entity
object-oriented programming
Entity
source code
Entity
Haskell
Entity
Prolog
Entity
JSTOR
Organization
quicksort
Entity
cardinality
Entity
functional programming
Entity
subroutine
Entity
lambda calculus
Entity
polymorphism
Entity
identity function
Entity