DeepAI AI Chat
Log In Sign Up

EOLANG and phi-calculus

by   Yegor Bugayenko, et al.

Object-oriented programming (OOP) is one of the most popular paradigms used for building software systems. However, despite its industrial and academic popularity, OOP is still missing a formal apparatus similar to lambda-calculus, which functional programming is based on. There were a number of attempts to formalize OOP, but none of them managed to cover all the features available in modern OO programming languages, such as C++ or Java. We have made yet another attempt and created phi-calculus. We also created EOLANG (also called EO), an experimental programming language based on phi-calculus.


page 1

page 2

page 3

page 4


A Calculus for Language Transformations

In this paper we propose a calculus for expressing algorithms for progra...

PubSub implementation in Haskell with formal verification in Coq

In the cloud, the technology is used on-demand without the need to insta...

Formalizing φ-calculus: a purely object-oriented calculus of decorated objects

Many calculi exist for modelling various features of object-oriented lan...

Decomposition Without Regret

Programming languages are embracing both functional and object-oriented ...

Pure Pattern Calculus à la de Bruijn

It is well-known in the field of programming languages that dealing with...

Gems of Corrado Böhm

The main scientific heritage of Corrado Böhm is about computing, both co...

A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning

Many programming languages in the OO tradition now support pattern match...

Code Repositories


EOLANG, an Experimental Object-Oriented Programming Language Based on 𝜑-Calculus

view repo