Nikolai Kudasov

According to our database, Nikolai Kudasov authored at least 10 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell.

Nikolai Kudasov, Artem Starikov

CoRR, 2024

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language.

Abdelrahman Abounegm, Nikolai Kudasov, Alexey Stepanov

Proceedings of the Thirteenth Workshop on Trends in Functional Programming in Education, 2024

Free Foil: Generating Efficient and Scope-Safe Abstract Syntax.

Nikolai Kudasov, Renata Shakirova, Egor Shalagin, Karina Tyulebaeva

CoRR, 2024

Formalizing the ∞-Categorical Yoneda Lemma.

Nikolai Kudasov, Emily Riehl, Jonathan Weinberger

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2023

E-Unification for Second-Order Abstract Syntax.

Nikolai Kudasov

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2022

Detecting unjustified assumptions in subclasses via EO representation.

Vitaliy Korbashov, Nikolai Kudasov, Mikhail Olokin, Violetta Sim

CoRR, 2022

Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs.

Nikolai Kudasov, Mikhail Olokin, Oleksii Potyomkin, Nikolay Shilov, Maxim Stepanov

CoRR, 2022

Functional Pearl: Dependent type inference via free higher-order unification.

Nikolai Kudasov

CoRR, 2022

Formalizing ϕ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects.

Nikolai Kudasov, Violetta Sim

Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, 2022

2019

Teaching Logic, from a Conceptual Viewpoint.

Daniel de Carvalho, Nikolai Kudasov

Proceedings of the Frontiers in Software Engineering Education, 2019