Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Making Tezos Smart Contracts More Reliable with Coq., , , , , and . ISoLA (3), volume 12478 of Lecture Notes in Computer Science, page 60-72. Springer, (2020)Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain., , , and . Financial Cryptography Workshops, volume 12063 of Lecture Notes in Computer Science, page 584-598. Springer, (2020)The Implicit Calculus of Constructions as a Programming Language with Dependent Types., and . FoSSaCS, volume 4962 of Lecture Notes in Computer Science, page 365-379. Springer, (2008)Un Calcul des Constructions implicite avec sommes dépendantes et à inférence de type décidable. (An implicit Calculus of Constructions with dependent sums and decidable type inference).. École Polytechnique, Palaiseau, France, (2015)Making Tezos smart contracts more reliable with Coq., , , , , and . CoRR, (2021)Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts., , , , and . FM Workshops (1), volume 12232 of Lecture Notes in Computer Science, page 368-379. Springer, (2019)