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

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

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

¹a.dinikeev@innopolis.university