UPLC 2025: building the future of Cardano’s programming languages
December 16 2025 — Ziyang Liu
Where science meets purpose
Categories
Topics
Authors
Search results
Plinth: A Plugin-Powered Language Built on Haskell (Experience Report)
October 2025 — Ziyang Liu, Kenneth MacKenzie, Roman Kireev, Michael Peyton Jones, Prof Philip Wadler, Manuel Chakravarty
Haskell '25Translation certification for smart contracts (SCP)
November 2023 — Jacco Krijnen, Manuel Chakravarty, Gabriele Keller, Wouter Swierstra
Science of Computer ProgrammingTranslation Certification for Smart Contracts
May 2022 — Jacco Krijnen, Manuel Chakravarty, Gabriele Keller, Wouter Swierstra
FLOPS '22Translation Certification for Smart Contracts (Extended Abstract)
August 2021 — Jacco Krijnen, Manuel Chakravarty, Gabriele Keller, Wouter Swierstra
TyDe 2021Native Custom Tokens in the Extended UTXO Model
October 2020 — Manuel Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Prof Philip Wadler
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
System F in Agda, for fun and profit
October 2019 — James Chapman, Roman Kireev, Chad Nester, Prof Philip Wadler
MPC'19Unraveling recursion: compiling an IR with recursion to System F
October 2019 — Roman Kireev, Chad Nester, Michael Peyton Jones, Prof Philip Wadler, Vasilis Gkoumas, Kenneth MacKenzie
MPC'19Functional 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
Draft