Вьюгинов Николай Юрьевич

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

1. Automated type contracts generation in Ruby
   
   Труды ИСП РАН, 29:4 (2017),  7–20