Publications
1. Seungheon Oh, Ziyang Liu, and Philip Wadler. From Lambda to Ledger: An Architectural Comparison of Plinth and Plutarch. In Proceedings of the 4th ACM SIGPLAN International Workshopon Functional Software Architecture (FUNARCH ’26), ACM, 2026.
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.