IOHK |
ライブラリー
ライブラリー > Manuel Chakravarty
Manuel Chakravarty
Technical Architect
Engineering
Netherlands
Translation certification for smart contracts (SCP)
Jacco Krijnen,Manuel Chakravarty,Gabriele Keller,Wouter Swierstra
November 2023, Science of Computer Programming
The Extended UTXO Model
Manuel Chakravarty,James Chapman,Kenneth MacKenzie,Orestis Melkonian,Michael Peyton Jones,Prof Philip Wadler
February 2020, Workshop on Trusted Smart Contracts (Financial Cryptography 2020)