The following resources about Plutus are available:
Introduces a basic ontology that attempts to capture the essential features of many smart contracts, in order to aid in formal reasoning about their behavior.
- Smart contracts language for Cardano launches at Plutusfest by Professor Philip Wadler senior research fellow.
- IOHK | Philip Wadler, area leader, programming languages - Professor Wadler explains the design philosophy behind Plutus and programming languages in general.
- IOHK | Philip Wadler on smart contracts - Professor Wadler explains some of the trade-offs made in designing Plutus.
- Darryl McAdams: Writing Smart Contracts on Plutus - Video from 2017 discussing an early version of Plutus.