António Mário da Silva Marcos Florido


AuthID: R-000-2CH

Publicações a aguardar confirmação

1
TÍTULO: Towards Algebraic Subtyping for Extensible Records
AUTORES: Rodrigo Marques; Mário Florido; Pedro B Vasconcelos;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2407.06747
INDEXADO EM: DBLP
NO MEU: DBLP

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service