50:36

IOHK | Research; Prof. Philip Wadler, Smart Contracts.

Input Output

7:56

IOHK | Prof. Philip Wadler, area leader, programming languages.

Input Output

21:12

How Does Cardano Work?

Siraj Raval

9:50

IOHK | Runtime Verification; Prof. Grigore Roșu CEO.

Input Output