1“Propositions as Types” by Philip Wadler [video] (opens in new tab)(youtube.com)Video2smosher_10y ago0Save
2Specialize to reuse (inheritance-like patterns in Rust) (opens in new tab)(aturon.github.io)2smosher_10y ago0Save
