Before revision: Chakravarty, M. M., Chapman, J., MacKenzie, K., Melkonian, O., Peyton Jones, M., Wadler, P. (2020) "The extended UTXO model", in International Conference on Financial Cryptography and Data Security (pp.
After revision: Wadler, P. (2020) "The extended UTXO model", in International Conference on Financial Cryptography and Data Security (pp.