About

Overview Research Leadership Newsroom

Community

Overview Blog Essential Cardano Catalyst

Careers Contact

English

IOHK |

Library

About
Library
Research Topics

Library > 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

Products

Cardano
Daedalus
Identus
Lace
Catalyst
Marlowe
Plutus

Media

Newsroom
Media Assets

Courses

Plutus Pioneers
IOG Academy

Legal

Privacy Policy
Terms & Conditions

Social

X
Facebook
GitHub
LinkedIn
YouTube
TikTok
Instagram