Formalizing Rust: Subtyping and Variance
A rigorous look at subtyping and variance in Rust through the lens of type theory
-
-
Reflecting on Courses at CMU
Reflections on my coursework during my time as a student at Carnegie Mellon University
-
Equity
To be added soon...
-
Anecdotes
To be added soon...