Viuginov Nikolay Yur'evich

Publications in Math-Net.Ru

1. Automated type contracts generation in Ruby
   
   Proceedings of ISP RAS, 29:4 (2017),  7–20