Papers About EO and 𝜑-calculus

Here is a full list of papers about 𝜑-calculus, EO programming language, Polystat, and other related projects (in reverse chronological order):

• Vadim Piven and Sergey Zykov (2022), Assessment of static type checking compliance of EOLANG, Proceedings of the 26th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES).

• Joseph Afriyie Attakorah, Vitaliy Korzun, Eugene Popov, Hadi Saleh (2022), EOLANG Book

• Легалов А.И., Бугаенко Е.Г., Чуйкин Н.К., Шипицин М.В., Рябцев Я.И., Каменский А.Н. (2022), Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO, Моделирование и анализ информационных систем, 9(3):246-264.

• Vitaliy Korbashov, Nikolai Kudasov, Mikhail Olokin, and Violetta Sim (2022), Detecting unjustified assumptions in subclasses via EO representation, arXiv

• Nikolai Kudasov, Mikhail Olokin, Oleksii Potyomkin, Nikolay Shilov, and Maxim Stepanov (2022), Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs, arXiv

• Yegor Bugayenko (2022), On the Origins of Objects by Means of Careful Selection, arXiv

• Nikolai Kudasov and Violetta Sim (2022), Formalizing 𝜑-calculus: a purely object-oriented calculus of decorated objects, arXiv

• Yegor Bugayenko (2021), Reducing Programs to Objects, arXiv

• Yegor Bugayenko (2021), EOLANG and 𝜑-calculus, arXiv

• Hadi Saleh, Joseph Afriyie Attakorah, Sergey Zykov, Alexander Legalov (2021), Exploring the EOLANG-Java Integration and Interoperability, Procedia Computer Science, Volume 192, pp. 4560-4569

• Hadi Saleh, Sergey Zykov, Alexander Legalov (2021), EOLANG: Toward a new java-based object-oriented programming language, Proceedings of the 13th KES-IDT 2021 Conference, pp. 355–363

You may also want to watch this YouTube playlist.

If you publish something, please let us know.