CTO компании Николай Кудасов получил награду “The 2024 John McCarthy Best Paper Award”
12 декабря 2024 г.
В декабре 2024 года CTO компании Николай Кудасов получил награду “The 2024 John McCarthy Best Paper Award” на симпозиуме, посвященном тенденциям в функциональном программировании (TFP) за статью на тему “Free Monads, Intrinsic Scoping, and Higher-Order Preunification” (Свободные монады, внутреннее определение области видимости и предварительное объединение более высокого порядка).