Not registered as user yet

Name: Mark Moir

Affiliation: Oracle Labs, New Zealand

Contributions

TyDe 2018Author of Authenticated Modular Maps in Haskell within the TyDe 2018-track