| Subject | Russian | English |
| progr. | автоматический вывод типов | type deduction (автоматический вывод типов шаблона в языке программирования C++ Alex_Odeychuk) |
| progr. | алгоритм вывода типов | type inference algorithm (Alex_Odeychuk) |
| progr. | алгоритм вывода типов Дамаса-Милнера | Damas-Milner type inference algorithm (Alex_Odeychuk) |
| progr. | безопасный по типу ввод / вывод | type-safe I/O |
| progr. | безопасный по типу ввод / вывод | type-safe input/output |
| progr. | возвращаемый тип, определённый механизмом вывода типов | inferred return type (Alex_Odeychuk) |
| progr. | вывод типов | parameter inference (напр., при передаче анонимной функции другой функции или методу Scala автоматически выводит типы, когда это возможно ssn) |
| progr. | вывод типов | type inference (возможность компилятора самому логически вывести тип значения у выражения. Вывод типов не только сокращает размер исходного кода и повышает его лаконичность, но и нередко повышает повторное использование кода; Microsoft Alex_Odeychuk) |
| progr. | вывод типов аргументов замыкания | type inference for the arguments of a closure (Alex_Odeychuk) |
| progr. | вывод типов аргументов замыкания | type inference for the arguments of a closure (IBM Alex_Odeychuk) |
| progr. | вывод типов локальных переменных | local variable-type inference (Alex_Odeychuk) |
| progr. | вывод типов неизменяемых переменных | type inference for immutable variables (IBM Alex_Odeychuk) |
| progr. | вывод типов объектных литералов | type inference for object literals (Alex_Odeychuk) |
| progr. | вывод типов, режима передачи параметров и детерминизма | type, mode, and determinism inference (Alex_Odeychuk) |
| progr. | вывод типов, режима передачи параметров и детерминизма предикатов | type, mode, and determinism inference (University of Melbourne, Австралия Alex_Odeychuk) |
| progr. | выполнять вывод типов фактических параметров вызова | infer the types of the call's actual parameters (Alex_Odeychuk) |
| media. | данные, относящиеся к сеансам, накапливаемые программным модулем сбора информации о работе сети и вывода её на дисплей оператора NLDM, содержат: тип сеанса, имена участников сеанса и информацию о состоянии сеанса | session awareness data |
| progr. | дерево вывода типов | typing derivation (ssn) |
| tech. | заплавка вывода по типу глазка | eyelet-type lead seal |
| progr. | индукция на деревьях вывода типов | induction on typing derivations (ssn) |
| progr. | индукция на деревьях вывода типов | induction on derivation trees (ssn) |
| progr. | использовать отражение и вывод типов | exploit reflection and type inference (Alex_Odeychuk) |
| progr. | машина вывода типов | type inferencer (составная часть компилятора языка программирования с автоматическим выводом типов; InfoWorld Alex_Odeychuk) |
| progr. | механизм вывода типов | type inferencer (InfoWorld Alex_Odeychuk) |
| progr. | набор правил вывода, присваивающих термам типы | set of inference rules assigning types to terms (ssn) |
| progr. | недопустимый тип вывода изображения | invalid picture output type (ssn) |
| progr. | недопустимый тип вывода изображения | invalid image output type (ssn) |
| progr. | определённый механизмом вывода типов | inferred (говоря о типе данных Alex_Odeychuk) |
| progr. | правила вывода, присваивающие термам типы | inference rules assigning types to terms (ssn) |
| progr. | примеры индукции на деревьях вывода типов | examples of induction on typing derivations (ssn) |
| progr. | распространить вывод типов на объявления локальных переменных с инициализаторами | extend type inference to declarations of local variables with initializers (InfoWorld, USA Alex_Odeychuk) |
| progr. | с использованием вывода типов | through type inference (Alex_Odeychuk) |
| progr. | статическая типизация с поддержкой вывода типов | statically inferred typing (Electronic Design Alex_Odeychuk) |
| media. | тип анодного вывода на колбе | base designation (кинескопа) |
| progr. | тип возвращаемого значения, определённый механизмом вывода типов | inferred return type (Alex_Odeychuk) |
| IT | тип вывода | display type |
| telecom. | тип вывода | output type (oleg.vigodsky) |
| SAP. | тип вывода данных на экран | display type |
| progr. | тип вывода изображения | picture output type (ssn) |
| progr. | тип вывода изображения | image output type (ssn) |
| tech. | тип выводов | termination style (электронного прибора) |
| tech. | типовая программа вывода из эксплуатации | standard decommissioning program (ядерных реакторов) |
| energ.ind. | типовая программа вывода из эксплуатации ядерных реакторов | standard commissioning program (по окончании установленного срока службы) |
| energ.ind. | Типовая программа по выводу из эксплуатации ядерных реакторов | Standard Commissioning Program (США) |
