Implementing distributed {\lambda}-calculus interpreter

This paper describes how one can implement distributed {\\lambda}-calculus\ninterpreter from scratch. At first, we describe how to implement a monadic\nparser, than the Krivine Machine is introduced for the interpretation part and\nas for distribution, the actor model is used. In this work we are no... View More