Dependent types for smart contracts at Zen / Blockchain 4steemCreated with Sketch.

in #bitcoin7 years ago (edited)

Present

I had previously been asking you guys for interview questions for my talk with the mathemticans at Zen and finally found the means of uploading it to my youtube channel.

It's about functional blockchains in the world of internet money - and not the last ;)

Take care
@qed

Coin Marketplace

STEEM 0.27
TRX 0.12
JST 0.032
BTC 68118.65
ETH 3786.47
USDT 1.00
SBD 3.70