Plinth: A Plugin-Powered Language Built on Haskell (Experience Report)
The Cardano blockchain is the first to use proof of stake, offers native support for multiple currencies and is evolving toward a distributed governance model. It supports smart contracts through Plutus, a language based on System Fω with recursion. About half a dozen languages compile into Plutus, the first of which is Plinth (formerly Plutus Tx) — a language that reuses a subset of the Haskell syntax, and has been in commercial use since 2021.
Authors
- Philip Wadler (ORCID: https://orcid.org/0000-0001-7619-6378)
- Michael Peyton Jones (ORCID: https://orcid.org/0000-0003-0602-1657)
- Roman Kireev (ORCID: https://orcid.org/0000-0003-4687-2739)
- Kenneth MacKenzie
- Manuel M. T. Chakravarty
- Ziyang Liu
Institutions
- Institut Input (DE)
Publication Details
- Published
- 2025-10-09
- DOI
- https://doi.org/10.1145/3759164.3759347
- Primary Topic
- Advanced Malware Detection Techniques
- Type
- article
- Field-Weighted Citation Impact
- 0.00