- UHRA Home
- Browsing by Author
Browsing by Author "Kokke, Wen"
Now showing items 1-1 of 1
-
Featherweight Go
Griesemer, Robert; Hu, Raymond; Kokke, Wen; Lange, Julien; Taylor, Ian Lance; Toninho, Bernardo; Wadler, Philip; Yoshida, Nobuko (2020-11-13)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 structural, and whereas generics in Java are defined ...