TY  - RPRT
TI  - Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)
AU  - Raymond Hu
AU  - Julien Lange
AU  - Bernardo Toninho
AU  - Philip Wadler
AU  - Robert Griesemer
AU  - Keith Randall
PY  - 2026
DO  - 10.1145/3776721
UR  - https://arxiv.org/abs/2606.27138
ID  - 2606.27138
ER  -