Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.
Repositories
wadler/marlowe
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
wadler/fp-competition-2021
wadler/bnfc-examples
Examples using BNFC-meta
wadler/roberto
Collaboration with Roberto Ierusalimschy
wadler/edprelude-pages
Pages site for the EdPrelude project.