Refine
Year of publication
- 2021 (1)
Document Type
Conference Type
- Konferenzartikel (1)
Language
- English (1)
Has Fulltext
- no (1)
Is part of the Bibliography
- yes (1)
Open Access
- Closed Access (1) (remove)
The Go programming language is an increasingly popular language but some of its features lack a formal investigation. This article explains Go's resolution mechanism for overloaded methods and its support for structural subtyping by means of translation from Featherweight Go to a simple target language. The translation employs a form of dictionary passing known from type classes in Haskell and preserves the dynamic behavior of Featherweight Go programs.