António Mário da Silva Marcos Florido


AuthID: R-000-2CH

Publications Requiring Validation

1
TITLE: Towards Algebraic Subtyping for Extensible Records
AUTHORS: Rodrigo Marques; Mário Florido; Pedro B Vasconcelos;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2407.06747
INDEXED IN: DBLP
IN MY: DBLP

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service