Session:Statebox - compositional smart contracts through category theory

From 34C3_Wiki
Revision as of 17:34, 29 December 2017 by Wires (talk | contribs) (fixed date)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Description A short presentation on a new approach to writing programs inspired by graphical calculi developed for quantum protocols (amongst others).
Website(s) statebox.org
Type Talk
Kids session No
Keyword(s) political, hardware, software
Tags blockchain, category theory, petri nets, supply chains, functional programming, graphical programming, compositionality, formal verification, dependent types
Processing assembly Assembly:Chaos West
Person organizing
Language en - English
en - English
Other sessions...

refresh

Starts at 2017/12/29 21:00
Ends at 2017/12/29 21:20
Duration 20 minutes
Location Room:Chaos West Stage

TBD