InfoQ Homepage Presentations Rethinking Blockchain Contract Development
Rethinking Blockchain Contract Development
Summary
Manuel Chakravarty discusses how IOHK’s Plutus combines programming language theory, functional programming in Haskell, and theorem-proving in Agda to develop a new approach to blockchain contracts.
Bio
Manuel M T Chakravarty works with Tweag I/O as a functional programming evangelist, architects blockchain languages at IOHK, and develops the interactive development environment Haskell for Mac. His interests span from functional programming, novel compiler technology & programming language theory over high-performance & distributed computing to blockchain technology.
About the conference
Never-failing explosion of enthusiasm and talent is what gets us motivated to explore this amazing community in all of its potential. A journey we take through different ideas, technologies, paradigms and languages inspires creativity, growth and pure enjoyment of coding. To us Scala, Erlang, Haskell, Elixir, F#, Lisp, Clojure, OCamland many other emerging technologies are more than languages - they are new perspectives on how to understand and tackle challenges of every day work.
This content is in the AI, ML & Data Engineering topic
Related Topics:
Sponsored Content
-
Related Editorial
-
Related Sponsors
-
Popular across InfoQ
-
AWS Introduces ECS Managed Instances for Containerized Applications
-
Producing a Better Software Architecture with Residuality Theory
-
GitHub Introduces New Embedding Model to Improve Code Search and Context
-
Google DeepMind Introduces CodeMender, an AI Agent for Automated Code Repair
-
Building Distributed Event-Driven Architectures across Multi-Cloud Boundaries
-
Mental Models in Architecture and Societal Views of Technology: A Conversation with Nimisha Asthagiri
-