English ⇄ Russian

tagged type substitutability stresses
progr.	подстановочность тегированных типов (подстановочность – основная характеристика полиформизма типов Alex_Odeychuk); возможность подстановки тегированных типов (Alex_Odeychuk)