( en | de | ru )

 

Disambiguation of "Tesson, Julien"

Author of the publication

copydeleteadd this publication to your clipboard
Making Tezos Smart Contracts More Reliable with Coq.

, , , , , and . ISoLA (3), volume 12478 of Lecture Notes in Computer Science, page 60-72. Springer, (2020)

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.

Julien Tesson

Stephane Tesson

Julien Köhrle

Julien Bonnamour

Julien Ndinga

 

Other publications of authors with the same name

Making Tezos smart contracts more reliable with Coq., , , , , and . CoRR, (2021)A type system to avoid runtime errors for Multi-ML., , and . ISPDC, page 41-48. IEEE, (2022)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)Interactive Bulk Synchronous Parallel Functional Programming in a Browser., and . SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, page 1593-1598. IEEE, (2018)Toward Performance Prediction for Multi-BSP Programs in ML., , and . ICA3PP (3), volume 11336 of Lecture Notes in Computer Science, page 159-174. Springer, (2018)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)Introduction to the Tezos Blockchain., , and . HPCS, page 1-10. IEEE, (2019)Making Tezos Smart Contracts More Reliable with Coq., , , , , and . ISoLA (3), volume 12478 of Lecture Notes in Computer Science, page 60-72. Springer, (2020)