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.
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, 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 optimizationView the profile
Buy this talk
Buy this video
Our other topics
With ConferenceCast.tv, you get access to our library of the world's best conference talks.