"Cap'n Proto and Rust: Type Systems for Sharing" by David Renshaw