BT

InfoQ Homepage Presentations Rethinking Blockchain Contract Development

Rethinking Blockchain Contract Development

Bookmarks
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

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Community comments

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

BT

Is your profile up-to-date? Please take a moment to review and update.

Note: If updating/changing your email, a validation request will be sent

Company name:
Company role:
Company size:
Country/Zone:
State/Province/Region:
You will be sent an email to validate the new email address. This pop-up will close itself in a few moments.