42:43
The design & minds behind Plutus
-
Video
-
Video
- 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
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 profileBuy this talk
Full access
Similar talks
Buy this video
Conference Cast
With ConferenceCast.tv, you get access to our library of the world's best conference talks.
