Nikolai Kudasov

15 papers B 2Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2024 B conf
Formalizing the ∞-Categorical Yoneda Lemma.
CPP
Nikolai Kudasov, Emily Riehl, Jonathan Weinberger
2024 J jnl
Free Foil: Generating Efficient and Scope-Safe Abstract Syntax.
CoRR
Nikolai Kudasov, Renata Shakirova, Egor Shalagin, Karina Tyulebaeva
2024 — conf
Free Monads, Intrinsic Scoping, and Higher-Order Preunification.
TFP
Nikolai Kudasov
2024 — conf
Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language.
TFPIE
Abdelrahman Abounegm, Nikolai Kudasov, Alexey Stepanov
2024 J jnl
typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell.
CoRR
Nikolai Kudasov, Artem Starikov
2023 B conf
E-Unification for Second-Order Abstract Syntax.
FSCD
Nikolai Kudasov
2023 J jnl
E-unification for Second-Order Abstract Syntax.
CoRR
Nikolai Kudasov
2023 J jnl
Formalizing the ∞-categorical Yoneda lemma.
CoRR
Nikolai Kudasov, Emily Riehl, Jonathan Weinberger
2023 — conf
Running Regular Research Seminar Online.
KES-AMSTA
Nikolay V. Shilov, Dmitry A. Kondratyev, Nikolai Kudasov, Igor S. Anureev
2022 J jnl
Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs.
CoRR
Nikolai Kudasov, Mikhail Olokin, Oleksii Potyomkin, Nikolay Shilov, Maxim Stepanov
2022 J jnl
Detecting unjustified assumptions in subclasses via EO representation.
CoRR
Vitaliy Korbashov, Nikolai Kudasov, Mikhail Olokin, Violetta Sim
2022 J jnl
Formalizing φ-calculus: a purely object-oriented calculus of decorated objects.
CoRR
Nikolai Kudasov, Violetta Sim
2022 — conf
Formalizing ϕ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects.
FTfJP@ECOOP
Nikolai Kudasov, Violetta Sim
2022 J jnl
Functional Pearl: Dependent type inference via free higher-order unification.
CoRR
Nikolai Kudasov
2019 — conf
Teaching Logic, from a Conceptual Viewpoint.
FISEE
Daniel de Carvalho, Nikolai Kudasov