Terms containing dependent types

Subject	English	Russian
SAP.fin.	activity type dependent planning	планирование в зависимости от видов работ
progr.	dependent type	зависимый тип данных (Alex_Odeychuk)
progr.	dependent type	зависимый тип (IBM Alex_Odeychuk)
progr.	dependent type theory	теория зависимых типов (Alex_Odeychuk)
progr.	functional language with dependent types	язык функционального программирования с зависимыми типами (Microsoft Alex_Odeychuk)
progr.	language with dependent types	язык программирования с зависимыми типами (Alex_Odeychuk)
progr.	machine-dependent unsigned integral type	машинно-зависимый беззнаковый целочисленный тип (ssn)
progr.	mutually dependent access types	взаимозависимые ссылочные типы (Alex_Odeychuk)
progr.	mutually dependent and recursive access types	взаимозависимые и рекурсивные ссылочные типы (Alex_Odeychuk)
progr.	mutually dependent type	взаимозависимый тип (Alex_Odeychuk)
tech.	user dependent-type code	код пользователя