Sandra Maria Mendes Alves


AuthID: R-000-G8E

Publicações Confirmadas: 49



1
TÍTULO: Extending the Quantitative Pattern-Matching Paradigm
AUTORES: Sandra Alves ; Delia Kesner; Miguel Ramos ;
PUBLICAÇÃO: 2024, FONTE: 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024 in Programming Languages and Systems - 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings, VOLUME: 15194
INDEXADO EM: Scopus DBLP
2
TÍTULO: Proceedings 13th International Workshop on Developments in Computational Models
AUTORES: Sandra Alves ; Ian Mackie;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2409.19298
INDEXADO EM: DBLP
NO MEU: DBLP
3
TÍTULO: Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2024, Milan, Italy, 6 September 2024
AUTORES: Sandra Alves ; Jesper Cockx;
PUBLICAÇÃO: 2024, FONTE: TyDe@ICFP
INDEXADO EM: DBLP
NO MEU: DBLP
4
TÍTULO: Quantitative Global Memory
AUTORES: Alves, Sandra ; Kesner, Delia; Ramos, Miguel ;
PUBLICAÇÃO: 2023, FONTE: 29th International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2023, VOLUME: 13923
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
5
TÍTULO: Linear Rank Intersection Types
AUTORES: Fábio Reis; Sandra Alves ; Mário Florido ;
PUBLICAÇÃO: 2022, FONTE: 28th International Conference on Types for Proofs and Programs, TYPES 2022 in 28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France, VOLUME: 269
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
6
TÍTULO: Quantitative Weak Linearisation
AUTORES: Sandra Alves ; Daniel Ventura;
PUBLICAÇÃO: 2022, FONTE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
7
TÍTULO: Report on women in logic 2020 & 2021
AUTORES: Sandra Alves ; Sandra Kiefer; Ana Sokolova;
PUBLICAÇÃO: 2022, FONTE: ACM SIGLOG News, VOLUME: 9, NÚMERO: 2
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
8
TÍTULO: Structural Rules and Algebraic Properties of Intersection Types
AUTORES: Sandra Alves ; Mário Florido ;
PUBLICAÇÃO: 2022, FONTE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
9
TÍTULO: A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations
AUTORES: Sandra Alves ; Jorge Iglésias;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2111.00588
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
10
TÍTULO: An ML-style Record Calculus with Extensible Records  Full Text
AUTORES: Alves, S ; Ramos, M ;
PUBLICAÇÃO: 2021, FONTE: 37th International Conference on Mathematical Foundations of Programming Semantics, MFPS 2021 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 351
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
Página 1 de 5. Total de resultados: 49.

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