1 paper
Alexandr Basov, Daniel de Carvalho, Manuel Mazzara
This paper describes how one can implement distributed λ-calculus interpreter from scratch. At first, we describe how to implement a monadic parser, than the Krivine Machine is int…