Sources of Accidental Complexity (2014)

How does Rust async work?

Less Painful Linear Types

Linear Types Can Help (async code)

Can advanced type systems hurt maintainability?

Bootstrapping Rust