11 citations · 24 across the 4 of their papers we have counts for
1 paper · 1 filter
Bruno Bernardo, Raphaël Cauderlier, Basile Pesin +1
Tezos is a smart-contract blockchain. Tezos smart contracts are written in a low-level stack-based language called Michelson. In this article we present Albert, an intermediate lan…