WhileyDave :ferris: [email protected]

Open on hachyderm.io

Author of the Whiley Programming Language. Interested in Programming Languages, Formal Verification and Compilers. Researcher in Smart Contracts @ConsenSys.

Articles Subscribers Subscriptions