A Dictionary-Passing Translation of Featherweight Go
- 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 andThe 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.…
Document Type: | Conference Proceeding |
---|---|
Conference Type: | Konferenzartikel |
Zitierlink: | https://opus.hs-offenburg.de/5271 | Bibliografische Angaben |
Title (English): | A Dictionary-Passing Translation of Featherweight Go |
Conference: | APLAS 2021: Asian Symposium (19. : October 17-18 2021 : Chicago, IL, USA) |
Author: | Martin Sulzmann, Stefan WehrStaff MemberGND |
Edition: | 1. |
Year of Publication: | 2021 |
Place of publication: | Cham |
Publisher: | Springer |
First Page: | 102 |
Last Page: | 120 |
Parent Title (English): | Programming Languages and Systems : Proceedings of APLAS 2021 |
Editor: | Hakjoo Oh |
Volume: | LNCS 13008 |
ISBN: | 978-3-030-89050-6 (Print) |
ISBN: | 978-3-030-89051-3 (Online) |
ISSN: | 0302-9743 (Print) |
ISSN: | 1611-3349 (Online) |
DOI: | https://doi.org/10.1007/978-3-030-89051-3_7 |
Language: | English | Inhaltliche Informationen |
Institutes: | Fakultät Elektrotechnik, Medizintechnik und Informatik (EMI) (ab 04/2019) |
Institutes: | Bibliografie | Formale Angaben |
Open Access: | Closed Access |
Licence (German): | Urheberrechtlich geschützt |