Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Fri 8 Sep 2017 16:10 - 16:30 at L3 - Talk session 4

In this talk, we will present the story of the Tezos project. Tezos is a crypto-ledger, i.e. a distributed blockchain with a language for smart contracts, with two specific character- istics: the first one is its ability for self-amendment, that allows a majority of stake-holders to update the behavior of Tezos without risking a fork; the second one is a design and im- plementation (in OCaml) that took into account safety and security from the beginning, and in particular the use of static typing and formal methods when possible. For example, Michelson, the language for smart contracts in Tezos, is the only such language with a formal semantics, a type system ensuring no runtime errors, and an implementation that uses OCaml GADTs to ensure its correctness.

Fri 8 Sep

15:30 - 16:30: OCaml 2017 - Talk session 4 at L3
ocaml-2017-talks150487740000015:30 - 15:50
Tom RidgeUniversity of Leicester, UK
Link to publication
ocaml-2017-talks150487860000015:50 - 16:10
Link to publication
ocaml-2017-talks150487980000016:10 - 16:30
Benjamin CanouOCamlPro, n.n., Grégoire HenryOCamlPro, n.n., Pierre ChambartOCamlPRO, Fabrice Le FessantOCamlPro, Arthur BREITMANDynamic Ledger Solutions