Nikolai Kudasov

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 12

Top Topics

Johnson Lindenstrauss

Programming Language

Qualitative Spatial Reasoning

Top Venues

Publications

Nikolai Kudasov, Emily Riehl, Jonathan Weinberger
Formalizing the ∞-Categorical Yoneda Lemma. CPP (2024)
Abdelrahman Abounegm, Nikolai Kudasov, Alexey Stepanov
Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language. CoRR (2024)
Nikolai Kudasov, Renata Shakirova, Egor Shalagin, Karina Tyulebaeva
Free Foil: Generating Efficient and Scope-Safe Abstract Syntax. CoRR (2024)
Nikolai Kudasov
E-Unification for Second-Order Abstract Syntax. FSCD (2023)
Nikolai Kudasov, Emily Riehl, Jonathan Weinberger
Formalizing the ∞-categorical Yoneda lemma. CoRR (2023)
Nikolai Kudasov
E-unification for Second-Order Abstract Syntax. CoRR (2023)
Nikolai Kudasov, Violetta Sim
Formalizing ϕ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects. FTfJP@ECOOP (2022)
Nikolai Kudasov, Mikhail Olokin, Oleksii Potyomkin, Nikolay Shilov, Maxim Stepanov
Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs. CoRR (2022)
Nikolai Kudasov, Violetta Sim
Formalizing φ-calculus: a purely object-oriented calculus of decorated objects. CoRR (2022)
Vitaliy Korbashov, Nikolai Kudasov, Mikhail Olokin, Violetta Sim
Detecting unjustified assumptions in subclasses via EO representation. CoRR (2022)
Nikolai Kudasov
Functional Pearl: Dependent type inference via free higher-order unification. CoRR (2022)
Daniel de Carvalho, Nikolai Kudasov
Teaching Logic, from a Conceptual Viewpoint. FISEE (2019)