Подробное описание документа
Статья
Драч В. Е.
Особенности статической проверки и вывода типов в языках программирования на примере компилирующего интерпретатора / Драч В. Е., Кузьминский А. В., Родионов А. В. // Электромагнитные волны и электронные системы. - 2019. - Т. 24, № 7. -
004.021 Алгоритмы