BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ
News Articles Presentations Podcasts Guides

Topics

Choose your language

QCon London - image
QCon London

Discover emerging trends, insights, and real-world best practices in software development & tech leadership. Join now.

 InfoQ Dev Summit Boston - image
InfoQ Dev Summit Boston

Learn how senior software developers are solving the challenges you face. Register now with early bird tickets.

 InfoQ Dev Summit Munich - image
InfoQ Dev Summit Munich

Learn practical solutions to today's most pressing software challenges. Register now with early bird tickets.

 QCon San Francisco - image
QCon San Francisco

Explore insights, real-world best practices and solutions in software development & leadership. Register now.

InfoQ Homepage Presentations Rethinking Blockchain Contract Development

AI, ML & Data Engineering

Rethinking Blockchain Contract Development

59:16

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.

Recorded at:

Nov 26, 2019

This content is in the AI, ML & Data Engineering topic

Related Topics:
BT