Embedded Pattern Matching
September 2022 — Trevor L. McDonell, Joshua D. Meredith, Gabriele Keller
Haskell '22Where science meets purpose
Categories
Topics
Authors
Research Papers
Standardized crypto-loans on the Cardano blockchain
March 2021 — Dmytro Kondratiuk, Pablo Lamela, Alexander Nemish, Prof Simon Thompson
UTXOma:UTXO with Multi-Asset Support
October 2020 — Manuel Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Prof Philip Wadler, Joachim Zahnentferner
Marlowe: implementing and analysing financial contracts on blockchain
February 2020 — Pablo Lamela, Alexander Nemish, David Smith, Prof Simon Thompson
Workshop on Trusted Smart Contracts (Financial Cryptography 2020)Functional Blockchain Contracts
May 2019 — Manuel Chakravarty, Roman Kireev, Kenneth MacKenzie, Vanessa McHale, Jann Müller, Alexander Nemish, Chad Nester, Michael Peyton Jones, Prof Simon Thompson, Rebecca Valentine, Prof Philip Wadler
DraftMarlowe: financial contracts on blockchain
November 2018 — Pablo Lamela, Prof Simon Thompson
ISoLA 2018