Events Add an event Speakers Talks Collections
 
Cardano Summit 2021
September 25, 2021, Online
Cardano Summit 2021
Request Q&A
Cardano Summit 2021
From the conference
Cardano Summit 2021
Request Q&A
Video
The design & minds behind Plutus
Available
In cart
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Add to favorites
232
I like 0
I dislike 0
Available
In cart
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
  • Description
  • Discussion

About the talk

In designing Cardano and Plutus, we use functional programming and formal methods to ensure higher levels of reliability, security, and correctness. Discover why we need to focus on final outcomes, robustness, and correctness when designing financial infrastructures.

About speaker

Philip Wadler
Computer Scientist at University of Edinburgh

American computer scientist known for his contributions to programming language design and type theory. In particular, he has contributed to the theory behind functional programming failed verification] and the use of monads in functional programming, the design of the purely functional language Haskell,[9] and the XQuery declarative query language. In 1984, he created the Orwell programming language. Wadler was involved in adding generic types to Java 5.0. He is also author of the paper Theorems for free! that gave rise to much research on functional language optimization

View the profile
Share
Cackle comments for the website

Buy this talk

Access to the talk “The design & minds behind Plutus”
Available
In cart
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free

Full access

Get access to all videos “Cardano Summit 2021”
Available
In cart
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Ticket

Similar talks

Daniel Short
Community Manager at Indigo Labs
Available
In cart
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Available
In cart
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Elton Tay
Founder at WottleNFT
Available
In cart
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Available
In cart
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Aidan Rankin-Williams
Co-Founder & CEO at PlayerMint
Available
In cart
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Available
In cart
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free

Buy this video

Video
Access to the talk “The design & minds behind Plutus”
Available
In cart
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free
Free

Conference Cast

With ConferenceCast.tv, you get access to our library of the world's best conference talks.

Conference Cast
946 conferences
37592 speakers
14370 hours of content