| Formalizing the ∞-Categorical Yoneda Lemma N Kudasov, E Riehl, J Weinberger Proceedings of the 13th ACM SIGPLAN International Conference on Certified …, 2024 | 7 | 2024 |
| Formalizing 𝜑-calculus: a purely object-oriented calculus of decorated objects N Kudasov, V Sim Proceedings of the ECOOP Workshop on Formal Techniques for Java-like …, 2022 | 6* | 2022 |
| Free Monads, Intrinsic Scoping, and Higher-Order Preunification N Kudasov International Symposium on Trends in Functional Programming, 22-54, 2024 | 4* | 2024 |
| E-unification for second-order abstract syntax N Kudasov arXiv preprint arXiv:2302.05815, 2023 | 3 | 2023 |
| Generalising huet-style projections in e-unification for second-order abstract syntax N Kudasov UNIF 2023-37th International Workshop on Unification, 2023 | 1 | 2023 |
| Experimental prover for Tope logic N Kudasov SCAN 2023, 37, 2023 | 1 | 2023 |
| Higher-order unification from e-unification with second-order equations and parametrised metavariables N Kudasov UNIF, 2022 | 1 | 2022 |
| Teaching Logic, from a Conceptual Viewpoint D de Carvalho, N Kudasov Frontiers in Software Engineering Education: First International Workshop …, 2020 | 1 | 2020 |
| typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell N Kudasov, A Starikov arXiv preprint arXiv:2408.03170, 2024 | | 2024 |
| Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language A Abounegm, N Kudasov, A Stepanov arXiv preprint arXiv:2407.08089, 2024 | | 2024 |
| Free Foil: Generating Efficient and Scope-Safe Abstract Syntax N Kudasov, R Shakirova, E Shalagin, K Tyulebaeva 2024 4th International Conference on Code Quality (ICCQ), 1-16, 2024 | | 2024 |
| Workshop" Semantical and Computational Aspects of Non-Classical Logics"(SCAN 2023) AS Nikolaevich, K Max, KS Lvovich, OS Pavlovich, SV Borisovich, ... Workshop" Semantical and Computational Aspects of Non-Classical Logics"(SCAN …, 2023 | | 2023 |
| Running Regular Research Seminar Online NV Shilov, DA Kondratyev, N Kudasov, IS Anureev KES International Symposium on Agent and Multi-Agent Systems: Technologies …, 2023 | | 2023 |
| Detecting Unjustified Assumptions in Subclasses via Elegant Objects Representation V Korbashov, N Kudasov, M Olokin, V Sim arXiv preprint arXiv:2209.01825, 2022 | | 2022 |
| Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs N Kudasov, M Olokin, O Potyomkin, N Shilov, M Stepanov arXiv preprint arXiv:2209.01803, 2022 | | 2022 |