Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)
Raymond Hu, Julien Lange, Bernardo Toninho +3
Go's unique combination of structural subtyping between generics and types with non-uniform runtime representations presents significant challenges for formalising the language. We…
cs.PL2020
Featherweight Go
Robert Griesemer, Raymond Hu, Wen Kokke +5
We describe a design for generics in Go inspired by previous work on Featherweight Java by Igarashi, Pierce, and Wadler. Whereas subtyping in Java is nominal, in Go it is structura…