Please use this identifier to cite or link to this item:
http://hdl.handle.net/10362/114686| Title: | Featherweight go |
| Author: | Griesemer, Robert Hu, Raymond Kokke, Wen Lange, Julien Taylor, Ian Lance Toninho, Bernardo Wadler, Philip Yoshida, Nobuko |
| Keywords: | Generics Go Monomorphisation Software Safety, Risk, Reliability and Quality |
| Issue Date: | 13-Nov-2020 |
| Citation: | Griesemer, R., Hu, R., Kokke, W., Lange, J., Taylor, I. L., Toninho, B., Wadler, P., & Yoshida, N. (2020). Featherweight go. Proceedings of the ACM on Programming Languages, 4(OOPSLA), Article 149. https://doi.org/10.1145/3428217 |
| Abstract: | 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 via erasure, in Go we use monomorphisation. Although monomorphisation is widely used, we are one of the first to formalise it. Our design also supports a solution to The Expression Problem. |
| Description: | EPSRC EP/K034413/1 EP/T006544/1, EP/K011715/1, EP/L00058X/1, EP/N027833/1, EP/N028201/1, EP/T006544/1, EP/T014709/1 EP/V000462/1 UIDB/04516/2020 EU MSCA-RISE BehAPI (ID:778233) |
| Peer review: | yes |
| URI: | http://hdl.handle.net/10362/114686 |
| DOI: | https://doi.org/10.1145/3428217 |
| ISSN: | 2475-1421 |
| Appears in Collections: | FCT: DI - Artigos em revista internacional com arbitragem científica |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Featherweight_Go.pdf | 345,96 kB | Adobe PDF | View/Open |
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
