Aaron Turon aturon.github.io

Shipping specialization: a story of soundness

aturon.github.io·460w

Negative reasoning in Chalk

aturon.github.io·471w

Specialization, coherence, and API evolution

aturon.github.io·482w

Designing futures for Rust

aturon.github.io·504w

Expanding the Tokio project

aturon.github.io·505w

Zero-cost futures in Rust

aturon.github.io·507w

The Rust Platform

aturon.github.io·510w

Refining Rust’s RFCs

aturon.github.io·513w

Resurrecting impl Trait

aturon.github.io·553w

Specialize to reuse

aturon.github.io·554w

Lock-freedom without garbage collection

aturon.github.io·557w

Log in to enable infinite scrolling