Login / Signup
Darryl McAdams
Publication Activity (10 Years)
Years Active: 2014-2016
Publications (10 Years): 1
Top Topics
Varying Degrees
Enabling Technologies
Information Technology
Distributed Processing
Top Venues
CoRR
IACR Cryptol. ePrint Arch.
</>
Publications
</>
Pablo Lamela Seijas
,
Simon J. Thompson
,
Darryl McAdams
Scripting smart contracts for distributed ledger technology.
IACR Cryptol. ePrint Arch.
2016 (2016)
Darryl McAdams
,
Jonathan Sterling
Dependent Types for Pragmatics.
CoRR
(2014)