概要

概要研究リーダーシップメディア

コミュニティ

概要ブログ Essential Cardano Catalyst

採用情報お問い合わせ

日本語

IOHK |

ライブラリー

概要
ライブラリー

ライブラリー > Jacco Krijnen

Jacco Krijnen

Structured Contracts in the EUTxO Ledger Model

Polina Vinogradova,Orestis Melkonian,Prof Philip Wadler,Manuel Chakravarty,Jacco Krijnen,Michael Peyton Jones,James Chapman,Tudor Ferariu

April 2024, FMBC 2024

Translation certification for smart contracts (SCP)

Jacco Krijnen,Manuel Chakravarty,Gabriele Keller,Wouter Swierstra

November 2023, Science of Computer Programming

PLUTUS SMARTCONTRACT

Translation Certification for Smart Contracts

Jacco Krijnen,Manuel Chakravarty,Gabriele Keller,Wouter Swierstra

May 2022, FLOPS '22

PLUTUS SMARTCONTRACT

Translation Certification for Smart Contracts (Extended Abstract)

Jacco Krijnen,Manuel Chakravarty,Gabriele Keller,Wouter Swierstra

August 2021, TyDe 2021

PLUTUS SMARTCONTRACT

製品

Cardano
Daedalus
Atala PRISM
Lace
Catalyst
Marlowe
Plutus

メディア

メディア
メディアキット

コース

Plutus

法的事項

データ保護
利用規約

ソーシャル

Twitter
Facebook
GitHub
LinkedIn
YouTube
TikTok
Instagram