Matt Diephouse

Types as Proof

Types can replace assertions, providing proof at compile time instead of errors at run time.

8 November 2018