Watch / Monadic Design Patterns for the Blockchain

Monadic Design Patterns for the Blockchain

  • YouTube
  • IPFS
  • Details

Monadic Design Patterns for the Blockchain

Duration: 00:19:45

Speaker: Lucius Greg Meredith

Type: Talk

Expertise: Advanced

Event: Devcon 1

Date: Nov 2015

Lucius Greg Meredith gives an update on "SpecialK" - the formal verification software being used with Casper + an overview of monadic design patters.
  • Related