Skip to content
scrambled
Programming Language Theory Concept

Hindley-Milner system

Books JourneyProgramming Language Theory Statuslearning

A type system with complete type inference via constraint generation and unification - automatically determines the most general (principal) type for all expressions without annotations; basis for ML,

A Type system with complete type inference via constraint generation and unification - automatically determines the most general (principal) type for all expressions without annotations; basis for ML, OCaml, Haskell.