"type inference" - related articles and key terms

Related terms: lisp   scala   haskell   paradigms   compiler   type checking   dependent type   typed languages   programming   functional programming   computer science   programming language

Wikipedia sources: Type system   Programming language   Functional programming


Context for words: type   inference