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 |