Published: 06 Oct 2017 › Updated: 06 Oct 2017
Dependent types for smart contracts at Zen / Blockchain 4
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
Leave Dependent types for smart contracts at Zen / Blockchain 4 to:
Best Posts From qed
We have not curated any of qed's posts yet. But you can encourage our curation team to review posts by visiting them regularly and by referring other readers. Because we give priority to frequently read content.
More Posts From qed
- "The limit x to c of (c^n-x^n)/(c-x)" : YSBATST 2
- 2 * 1.5 * 1.33333333 * 1.25 = 5 : YSBATST 1
- web-apps and dapps explained / NEO 8
- Installing the developer graphical user interface and invoking smart contracts / NEO 3
- Compiling a Hello World smart contract / Neo 2
- Open source community ecosystem / Neo 1
- Dependent types for smart contracts at Zen / Blockchain 4
- Smart contracts in Python (and C# and Java) /
- Pairing is caring /
- The 2015 Experience /