Dependent types for smart contracts at Zen / Blockchain 4

qed(48)
Published in
#bitcoin
Words
49
Reading
1 min
Listen
Play
9y

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@qed

Dependent types for smart contracts at Zen / Blockchain 4 | Ecency