Журналы
Разделы книг
Статьи по ключевому слову type system
Особенности статической проверки и вывода типов в языках программирования на примере компилирующего интерпретатора

В.Е. Драч – к.т.н., доцент,  кафедра «Конструирование и производство электронной аппаратуры», Калужский филиал МГТУ им. Н.Э. Баумана E-mail: drach@bmstu-kaluga.ru

А.В. Кузьминский – студент,  кафедра «Информационные системы и сети», Калужский филиал МГТУ им. Н.Э. Баумана

E-mail: alexqzminsky@gmail.com

А.В. Родионов – к.т.н., доцент,  кафедра «Информационные системы и сети», Калужский филиал МГТУ им. Н.Э. Баумана E-mail: andviro@gmail.com

Предметно-ориентированные системы типов в формализме Чёрча и Карри

Л.Ю. Исмаилова1, С.В. Косиков2

1 Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

2 НАО «ЮрИнфоР» (Москва, Россия)

1 LYIsmailova@mephi.ru, 2 kosikov.s.v@gmail.com

Совмещенная система логического вывода и динамической верификации спецификаций программных компонентов

Шапкин П.А.1, Иноземцев А.Н.2

1,2 Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

1 pashapkin@mephi.ru, 2 inozemtsev.alex@outlook.com

Система типов для статически типизированного функционального конкатенативного стекового языка программирования с поддержкой функций первого класса

А.М. Диникеев¹

¹Университет Иннополис (г. Иннополис, Россия)

¹a.dinikeev@innopolis.university