1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
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…