2 papers
cs.PL2020
Objective Caml for Multicore Architectures
Mathias Bourgoin, Benjamin Canou, Emmanuel Chailloux +2
Objective Caml is a famous dialect of the ML family languages. It is well-known for its performance as a compiled programming language, notably thanks to its incremental generation…
cs.DC2019
Introduction to the Tezos Blockchain
Victor Allombert, Mathias Bourgoin, Julien Tesson
Tezos is an innovative blockchain that improves on several aspects compared to more established blockchains. It offers an original proof-of-stake consensus algorithm and can be use…