Session:Statebox - compositional smart contracts through category theory
From 34C3_Wiki
| 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 |
| Other sessions... | |
| Starts at | 2017/12/29 21:00 |
|---|---|
| Ends at | 2017/12/29 21:20 |
| Duration | 20 minutes |
| Location | Room:Chaos West Stage |
TBD
