BT

Disseminando conhecimento e inovação em desenvolvimento de software corporativo.

Contribuir

Tópicos

Escolha a região

Profile picture

Manuel M T Chakravarty

Perfil criado em 04 set, 2019

Resumo

  • 4 Seguidores

Todas as Atividades

  • Rethinking Blockchain Contract Development

    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.

    Rethinking Blockchain Contract Development

Apresentações

Seguidores

BT