subtyping

Jun 28, 2026

• subtyping
• variance
• structural-typing
• records
• type-theory

Jun 28, 2026

• rust
• type-theory
• type-inference
• subtyping
• project