Skip to content
Vinony
Category

Type inference

page 1
inference typing
automatic detection of the data type of an expression in a programming language
Hindley–Milner
type system supporting type inference