Terms containing subtyping

Subject	English	Russian
progr.	algorithmic subtyping	алгоритмическое вложение типов (ssn)
progr.	depth subtyping	подтипизация в глубину (подразумевает, что типы полей записи могут подменяться на их подтипы Alex_Odeychuk)
progr.	functional subtyping	подтипизация функций (Alex_Odeychuk)
progr.	object subtyping	подтипирование объектов (ssn)
progr.	record subtyping	подтипизация на записях (Alex_Odeychuk)
progr.	record subtyping	подтипирование записей (ssn)
progr.	structural subtyping	структурная подтипизация (в языке программирования Visual Prolog Alex_Odeychuk)
progr.	subtyping based on the strengthening of type invariants	создание подтипов на основе усиления инвариантов типов (Alex_Odeychuk)
progr.	subtyping expression	выражение для создания подтипа (IBM Alex_Odeychuk)
progr.	subtyping with strengthening type invariants	создание подтипов на основе усиления инвариантов типов (Alex_Odeychuk)
progr.	Typing and subtyping for computational interfaces	Типы и подтипы вычислительных интерфейсов (см. ISO/IEC 10746-1, ГОСТ Р ИСО/МЭК 10746-1-2004 ssn)
progr.	width subtyping	подтипизация в ширину (подразумевает добавление в запись новых полей Alex_Odeychuk)