Get started
Author

Nikolai Kudasov

Observed names: Kudasov, Nikolai, N. Kudasov, Nikolai Dmitrievich Kudasov
Observed institution: Innopolis University
ORCID: 0000-0001-6572-7292
Observed ORCID: 0000-0001-6572-7292
OpenAlex ID: A5060778375
Formalizing the ∞-Categorical Yoneda Lemma
2024 · Nikolai Kudasov, Emily Riehl, et al. · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) · 14
PDF
Formalizing ϕ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects
2022 · Nikolai Kudasov, Violetta Sim · Formal Techniques for Java-like Programs · 8
PDF
Free Monads, Intrinsic Scoping, and Higher-Order Preunification
2025 · Nikolai Kudasov · Lecture notes in computer science · 5
PDF
typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
2024 · Kudasov, Nikolai, Starikov, Artem · arXiv (Cornell University) · 4
PDF
Formalizing the $\infty$-Categorical Yoneda Lemma
2023 · Kudasov, Nikolai, Riehl, Emily, et al. · arXiv (Cornell University) · 4
PDF
Free Foil: Generating Efficient and Scope-Safe Abstract Syntax
2024 · Nikolai Kudasov, Renata Shakirova, et al. · International Conference on Code Quality (ICCQ) · 3
PDF
E-Unification for Second-Order Abstract Syntax
2023 · Kudasov, Nikolai · arXiv (Cornell University) · 3
PDF
Implementing a Language Server for the Rzk Proof Assistant
2023 · Abdelrahman Abounegm, Nikolai Kudasov · System Informatics · 1
PDF
Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization
2026 · Kudasov, Nikolai · arXiv (Cornell University)
PDF
Rzk: a Proof Assistant for Synthetic $\infty$-Categories
2026 · Kudasov, Nikolai, Sim, Violetta, et al. · arXiv (Cornell University)
PDF
Fast and accurate x86 disassembly using a graph convolutional network model
2024 · Nikita Alekseevich Strygin, Nikolai Dmitrievich Kudasov · Computer Research and Modeling
PDF
Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
2024 · Abdelrahman Abounegm, Nikolai Kudasov, et al. · Electronic Proceedings in Theoretical Computer Science
Reproduction package for "Formalizing the ∞-Categorical Yoneda Lemma"
2024 · Nikolai Kudasov, Emily Riehl, et al. · Artifact Digital Object Group
Generalising Huet-style Projections in E-unification for Second-Order Abstract Syntax
2023 · Kudasov, Nikolai · HAL
PDF
Running Regular Research Seminar Online
2023 · N. V. Shilov, D. A. Kondratyev, et al. · Smart innovation, systems and technologies
Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs
2022 · Kudasov, Nikolai, Olokin, Mikhail, et al. · arXiv (Cornell University)
PDF
Detecting Unjustified Assumptions in Subclasses via Elegant Objects Representation
2022 · Korbashov, Vitaliy, Kudasov, Nikolai, et al. · arXiv (Cornell University)
PDF
Teaching Logic, from a Conceptual Viewpoint
2020 · Daniel de Carvalho, Nikolai Kudasov · Lecture notes in computer science
Works count: 20
Citation count: 42
H-index: 4
I10-index: 1
Year
Topic
Type