Terms for subject Programming containing unit measure

English	Russian
unit-of-measure inference	выведение единиц измерения (говоря о значениях численных типов с единицами измерения Alex_Odeychuk)