English
- type inference
- Wikipedia: http://en.wikipedia.org/wiki/Type_inference
- C2: http://c2.com/cgi/wiki?TypeInference
German
Dutch
- type-inferentie
- Wikipedia: http://nl.wikipedia.org/wiki/Type-inferentie
Russian
- вывод типов
- Wikipedia: http://ru.wikipedia.org/wiki/Вывод_типов
- Progopedia: http://progopedia.ru/typing/type-inference/