Skip to main content

Further Resources

  1. Formal Specification of the Plutus Core Language.

  2. Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, and Joachim Zahnentferner. UTXOma: UTXOma:UTXO with Multi-Asset Support. In International Symposium on Leveraging Applications of Formal Methods. Springer, 2020.

  3. Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, and Philip Wadler. The Extended UTXO Model. In Proceedings of Trusted Smart Contracts (WTSC), volume 12063 of LNCS. Springer, 2020.

  4. Manuel M. T. Chakravarty, Sandro Coretti, Matthias Fitzi, Peter Gazi, Philipp Kant, Aggelos Kiayias, and Alexander Russell. Hydra: Fast Isomorphic State Channels. Technical Report, Cryptology ePrint Archive, Report 2020/299, 2020.

  5. Manuel MT Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, and Philip Wadler. Native Custom Tokens in the Extended UTXO Model. In International Symposium on Leveraging Applications of Formal Methods, 89–111. Springer, 2020.

  6. James Chapman, Roman Kireev, Chad Nester, and Philip Wadler. System F in Agda, for fun and profit. In Mathematics of Program Construction, 2019.

  7. Michael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth MacKenzie, Chad Nester, and Philip Wadler. Unraveling recursion: compiling an IR with recursion to System F. In Mathematics of Program Construction, 2019.

  8. Jacco O.G. Krijnen, Manuel M.T. Chakravarty, Gabriele Keller, and Wouter Swierstra. Translation certification for smart contracts. In Science of Computer Programming, 2024.

  9. Polina Vinogradova and Orestis Melkonian. Message-passing in the Extended UTxO Ledger Model. In 8th Workshop on Trusted Smart Contracts (WTSC), 2024.

  10. Polina Vinogradova, Orestis Melkonian, Philip Wadler, Manuel Chakravarty, Jacco Krijnen Michael Peyton Jones, James Chapman, and Tudor Ferariu. Structured Contracts in the EUTxO Ledger Model. In 5th International Workshop on Formal Methods for Blockchains (FMBC), 2024.

  11. Manuel MT Chakravarty, Simon Thompson, and Philip Wadler. Functional smart contracts on cardano.