Open AccessTezos: the OCaml Crypto-Ledger
Author(s) -
Benjamin Canou,
Grégoire Henry,
Pierre Chambart,
Fabrice Le Fessant,
Çağdaş Bozman,
Vincent Bernardoff,
Guillem Rieu,
Mohamed Iguernelala,
Alain Mebsout,
Arthur Breitman
Publication year - 2017
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , smart contract , computer security , programming language , cryptocurrency , correctness , database transaction , smart card , ledger , finance , economics