Publications
1. Ziyang Liu, Kenneth MacKenzie, Roman Kireev, Michael Peyton Jones, Philip Wadler, and Manuel Chakravarty. Plinth: A Plugin-Powered Language Built on Haskell (Experience Report). In Proceedings of the 18th ACM SIGPLAN International Haskell Symposium (Haskell ’25), ACM, 2025.
Plutus Core Specification
The formal specification provides a comprehensive mathematical foundation for understanding the semantics and behavior of Plutus smart contracts.
Plutus-Related CIPs
This page lists all Cardano Improvement Proposals (CIPs) that are substantially related to Plutus smart contract platform, including core language features, builtin functions, and infrastructure improvements.
Videos
This page contains video resources related to Plutus and smart contract development on Cardano.