Once Upon a Process
First Ride on Rust
Cormac Flanagan University of California, Santa Cruz Hybrid Type Checking.