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
Block or Report
Block or report wadler
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
-
-
marlowe
marlowe PublicForked from input-output-hk/marlowe
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.