research
∙
09/15/2023
Formalizing the ∞-categorical Yoneda lemma
The field of category theory seeks to unify and generalize concepts and ...
share
research
∙
02/11/2023
E-unification for Second-Order Abstract Syntax
Higher-order unification (HOU) concerns unification of (extensions of) λ...
research
∙
09/05/2022
Detecting Unjustified Assumptions in Subclasses via Elegant Objects Representation
Elegant Objects (EO) is a programming language based on ideas of pure ob...
research
∙
09/05/2022
Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs
Elegant Objects (EO) is a variation of the object-oriented programming p...
research
∙
04/15/2022
Formalizing φ-calculus: a purely object-oriented calculus of decorated objects
Many calculi exist for modelling various features of object-oriented lan...
research
∙
04/12/2022