Featherweight go

Detalhes bibliográficos
Autor(a) principal: Griesemer, Robert
Data de Publicação: 2020
Outros Autores: Hu, Raymond, Kokke, Wen, Lange, Julien, Taylor, Ian Lance, Toninho, Bernardo, Wadler, Philip, Yoshida, Nobuko
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10362/114686
Resumo: 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)
id RCAP_98f2bd43e3bd45fc32985fc3e66401ec
oai_identifier_str oai:run.unl.pt:10362/114686
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Featherweight goGenericsGoMonomorphisationSoftwareSafety, Risk, Reliability and QualityEPSRC 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)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.DI - Departamento de InformáticaNOVALincsRUNGriesemer, RobertHu, RaymondKokke, WenLange, JulienTaylor, Ian LanceToninho, BernardoWadler, PhilipYoshida, Nobuko2021-03-29T22:24:14Z2020-11-132020-11-13T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10362/114686eng2475-1421PURE: 27108251https://doi.org/10.1145/3428217info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-03-11T04:57:21Zoai:run.unl.pt:10362/114686Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T03:42:36.287339Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Featherweight go
title Featherweight go
spellingShingle Featherweight go
Griesemer, Robert
Generics
Go
Monomorphisation
Software
Safety, Risk, Reliability and Quality
title_short Featherweight go
title_full Featherweight go
title_fullStr Featherweight go
title_full_unstemmed Featherweight go
title_sort Featherweight go
author Griesemer, Robert
author_facet Griesemer, Robert
Hu, Raymond
Kokke, Wen
Lange, Julien
Taylor, Ian Lance
Toninho, Bernardo
Wadler, Philip
Yoshida, Nobuko
author_role author
author2 Hu, Raymond
Kokke, Wen
Lange, Julien
Taylor, Ian Lance
Toninho, Bernardo
Wadler, Philip
Yoshida, Nobuko
author2_role author
author
author
author
author
author
author
dc.contributor.none.fl_str_mv DI - Departamento de Informática
NOVALincs
RUN
dc.contributor.author.fl_str_mv Griesemer, Robert
Hu, Raymond
Kokke, Wen
Lange, Julien
Taylor, Ian Lance
Toninho, Bernardo
Wadler, Philip
Yoshida, Nobuko
dc.subject.por.fl_str_mv Generics
Go
Monomorphisation
Software
Safety, Risk, Reliability and Quality
topic Generics
Go
Monomorphisation
Software
Safety, Risk, Reliability and Quality
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)
publishDate 2020
dc.date.none.fl_str_mv 2020-11-13
2020-11-13T00:00:00Z
2021-03-29T22:24:14Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10362/114686
url http://hdl.handle.net/10362/114686
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 2475-1421
PURE: 27108251
https://doi.org/10.1145/3428217
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799138036983791616

Registros relacionados