The noun type inference can be countable or uncountable.
The singular form of type inference is also type inference.
Win Amazon gift cards by writing simple stories at Fictish, a new story writing game backed by WordHippo.