Type inference - slebok/sleg GitHub Wiki
- type inference
- Wikipedia: http://en.wikipedia.org/wiki/Type_inference
- C2: http://c2.com/cgi/wiki?TypeInference
- Typinferenz; Typableitung
- Wikipedia: http://de.wikipedia.org/wiki/Typinferenz
- type-inferentie
- Wikipedia: http://nl.wikipedia.org/wiki/Type-inferentie
- вывод типов
- Wikipedia: http://ru.wikipedia.org/wiki/Вывод_типов
- Progopedia: http://progopedia.ru/typing/type-inference/