RUS
ENG
Full version
PEOPLE
Fondaratov Valentin Sergeyevich
Publications in Math-Net.Ru
Automated type contracts generation in Ruby
Proceedings of ISP RAS
,
29
:4 (2017),
7–20
©
Steklov Math. Inst. of RAS
, 2024