IOHK |
ライブラリー
ライブラリー > Gabriele Keller
Gabriele Keller
Translation certification for smart contracts (SCP)
Jacco Krijnen,Manuel Chakravarty,Gabriele Keller,Wouter Swierstra
November/2023, Science of Computer Programming
September/2022, Haskell '22
ライブラリー > Gabriele Keller
Jacco Krijnen,Manuel Chakravarty,Gabriele Keller,Wouter Swierstra
November/2023, Science of Computer Programming
September/2022, Haskell '22