Канатов А В

Публикации в базе данных Math-Net.Ru

1. Unified type system for the modern general-purpose programing language
   
   Труды ИСП РАН, 34:3 (2022),  13–30
2. Концепция наследования в современных языках программирования
   
   Труды ИСП РАН, 27:6 (2015),  169–188