Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.
-
University of Edinburgh
- Edinburgh
- http://homepages.inf.ed.ac.uk/wadler/
- https://orcid.org/0000-0001-7619-6378
Highlights
- Pro
-
-
-
-
-
-
marlowe Public
Forked from marlowe-lang/marlowePrototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
-