RUS  ENG
Full version
PEOPLE

Fondaratov Valentin Sergeyevich

Publications in Math-Net.Ru

  1. Automated type contracts generation in Ruby

    Proceedings of ISP RAS, 29:4 (2017),  7–20


© Steklov Math. Inst. of RAS, 2024