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)