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

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

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

E-mail: alexqzminsky@gmail.com

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