Experiences with QuickCheck: testing the hard stuff and staying sane

Designing and Implementing a Simple, Dependently-Typed Language (2010

A Rust-based Runtime for the Internet of Things

Safer smart contracts through type-driven development in idris

Parallelization in Rust with fork-join and friends