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