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…