| The presence of parametric or ad hoc polymorphism in a language may also have implications for type compatibility. |
Наличие в языке параметрического или ситуативного полиморфизма может также влиять на совместимость типов. |
| System F thus formalizes the notion of parametric polymorphism in programming languages, and forms a theoretical basis for languages such as Haskell and ML. |
Система F позволяет формализовать концепцию параметрического полиморфизма в языках программирования и служит теоретической основой для таких языков программирования как Haskell и ML. |
| The three axes of the cube correspond to three different augmentations of the simply typed lambda calculus: the addition of dependent types, the addition of polymorphism, and the addition of higher kinded type constructors (functions from types to types, for example). |
Трём осям куба соответствуют три различных дополнения к просто типизированному лямбда-исчислению: дополнение зависимых типов, дополнение полиморфизма и дополнение конструкторов типов высшего порядка. |
| Another issue is the role of inherited genetic factors in shaping attachments: for example one type of polymorphism of the gene coding for the D2 dopamine receptor has been linked to anxious attachment and another in the gene for the 5-HT2A serotonin receptor with avoidant attachment. |
Другой вопрос заключался в том, какова роль наследственных генетических факторов в формировании привязанности: например, один тип полиморфизма гена, кодирующего D2 дофаминовые рецепторы, был связан с тревожным типом привязанности, в то время как в гене 5-НТ2А рецепторов серотонина он связан с избегающим типом. |
| METHOD FOR GENETICALLY IDENTIFYING A PERSON ACCORDING TO THE ANALYSIS OF THE SINGLE NUCLEOTIDE POLYMORPHISM OF A HUMAN GENOM BY MEANS OF A OLIGONUCLEOTIDE BIOLOGICAL MICROCHIP (BIOCHIP) |
СПОСОБ ГЕНЕТИЧЕСКОЙ ИДЕНТИФИКАЦИИ ЛИЧНОСТИ НА ОСНОВЕ АНАЛИЗА ОДНОНУКЛЕОТИДНОГО ПОЛИМОРФИЗМА ГЕНОМА ЧЕЛОВЕКА С ИСПОЛЬЗОВАНИЕМ ОЛИГОНУКЛЕОТИДНОГО БИОЛОГИЧЕСКОГО МИКРОЧИПА (БИОЧИПА) |