cotalks.dev

Felix Klock - Subtyping in Rust and Clarke's Third Law

(link)
Event: Type System | 2018
note