IOHK |
Library
Library > James Chapman
James Chapman
Software Engineer
Engineering
UK
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)
A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
Guillame Allais,Robert Atkey,James Chapman,Conor McBride,James McKinna
January 2020, Journal of Functional Programming