Automated Type Contracts Generation in Ruby - N. Y. Viuginov; V. S. Fondaratov (Труды Института системного программирования РАН, 2018)