Buy Me a Coffee at ko-fi.com

Hindley–milner

type system supporting type inference

Pronunciation
/ˈhɪndli – ˈmɪlnər/
Categories
type system