Author of the Whiley Programming Language. Interested in Programming Languages, Formal Verification and Compilers. Researcher in Smart Contracts @ConsenSys.
Giles Paterson @[email protected]
My personal home in the fediverse.
Author of the Whiley Programming Language. Interested in Programming Languages, Formal Verification and Compilers. Researcher in Smart Contracts @ConsenSys.
My personal home in the fediverse.