1 citations · 1 across the 4 of their papers we have counts for
4 papers
Rzk: a Proof Assistant for Synthetic -Categories
Nikolai Kudasov, Violetta Sim, Benedikt Ahrens
Homotopy type theory (HoTT) is a type theory that allows for synthetic reasoning about -groupoids. Several proof assistants (such as Rocq and Agda) implement variants of Ho…
Detecting Unjustified Assumptions in Subclasses via Elegant Objects Representation
Vitaliy Korbashov, Nikolai Kudasov, Mikhail Olokin +1
Elegant Objects (EO) is a programming language based on ideas of pure objects and the Decorator pattern. Bugayenko has suggested it as an intermediate representation for object-ori…
Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs
Nikolai Kudasov, Mikhail Olokin, Oleksii Potyomkin +2
Elegant Objects (EO) is a variation of the object-oriented programming paradigm that favors pure objects and decoration. EO programming language is based on these ideas and has bee…
Formalizing -calculus: a purely object-oriented calculus of decorated objects
Nikolai Kudasov, Violetta Sim
Many calculi exist for modelling various features of object-oriented languages. Many of them are based on -calculus and focus either on statically typed class-based languages or…