IOHK |
Library
Library > James Chapman
James Chapman
Head of Formal Methods
Engineering
UK
A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
Guillame Allais,Robert Atkey,James Chapman,Conor McBride,James McKinna
October 2021, Journal of Functional 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)