Bibliography

1

Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, and Joachim Zahnentferner. UTXO$_\mathrm ma$: UTXO with multi-asset support. In International Symposium on Leveraging Applications of Formal Methods. Springer, 2020. Also available at https://github.com/IntersectMBO/plutus.

2

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. Also available at https://github.com/IntersectMBO/plutus.

3

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. URL: https://eprint.iacr.org/2020/299.

4

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. Also available at https://github.com/IntersectMBO/plutus.

5

Manuel MT Chakravarty, Simon Thompson, and Philip Wadler. Functional smart contracts on cardano. https://www.youtube.com/watch?v=MpWeg6Fg0t8.

6

IOHK. Formal specification of the Plutus Core language. Technical Report, IOHK, 2019. Available at https://github.com/IntersectMBO/plutus.

7

IOHK. Plutus platform technical report. Technical Report, IOHK, 2019. Available at https://github.com/IntersectMBO/plutus.

8

Michael Peyton Jones and Jann Müller. The plutus platform. https://www.youtube.com/watch?v=usMPt8KpBeI.