Simplicity: A New Language for Blockchains

Paper presentation in the PLAS'17 'New Languages and Tools' session introducing Simplicity, a typed, combinator-based, functional language for blockchains with formal denotational semantics in Coq and static bounds on execution cost.