📄️ 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.