About

Overview Research Leadership

Community

Overview Blog Essential Cardano Catalyst

Careers Contact

English

IOHK |

Library

About
Library
Research Topics

Library > Gabriele Keller

Gabriele Keller

Embedded Pattern Matching

Trevor L. McDonell,Joshua D. Meredith,Gabriele Keller

September 2022, Haskell '22

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
Atala PRISM
Lace
Catalyst
Marlowe
Plutus

Media

Press
Media kit

Courses

Plutus Pioneers
Marlowe Pioneers
IOG Academy

Legal

DMCA Policy
Privacy Policy
Terms & Conditions

Social

Twitter
Facebook
GitHub
LinkedIn
YouTube
TikTok
Instagram