Dependent Types for Pragmatics. - Darryl McAdams; Jonathan Sterling (CoRR, 2014)

Scripting smart contracts for distributed ledger technology. - Pablo Lamela Seijas; Simon J. Thompson; Darryl McAdams (IACR Cryptol. ePrint Arch., 2016)