António Mário da Silva Marcos Florido


AuthID: R-000-2CH

Publicações Confirmadas: 66



11
TÍTULO: Structural Rules and Algebraic Properties of Intersection Types
AUTORES: Sandra Alves ; Mário Florido ;
PUBLICAÇÃO: 2022, FONTE: ICTAC, VOLUME: 13572 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
12
TÍTULO: Type Inference for Rank-2 Intersection Types Using Set Unification
AUTORES: Ângelo, Pedro ; Mário Florido ;
PUBLICAÇÃO: 2022, FONTE: ICTAC, VOLUME: 13572 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
13
TÍTULO: Typed SLD-Resolution: Dynamic Typing for Logic Programming
AUTORES: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLICAÇÃO: 2022, FONTE: 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2022), VOLUME: 13474
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
14
TÍTULO: Resource Analysis for Lazy Evaluation with Polynomial Potential
AUTORES: Sara Moreira; Pedro B Vasconcelos ; Mário Florido ;
PUBLICAÇÃO: 2020, FONTE: IFL
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
15
TÍTULO: A Three-Valued Semantics for Typed Logic Programming  Full Text
AUTORES: João Barbosa ; Mário Florido ; Vítor Santos Costa ;
PUBLICAÇÃO: 2019, FONTE: ICLP Technical Communications, VOLUME: 306
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
16
TÍTULO: Type Inference for Rank 2 Gradual Intersection Types
AUTORES: Ângelo, Pedro ; Mário Florido ;
PUBLICAÇÃO: 2019, FONTE: TFP, VOLUME: 12053 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
17
TÍTULO: Pattern-based calculi with finitary matching  Full Text
AUTORES: Alves, S ; Dundua, B ; Florido, M ; Kutsia, T;
PUBLICAÇÃO: 2018, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 26, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
18
19
TÍTULO: Non-Blocking Concurrent Imperative Programming with Session Types  Full Text
AUTORES: Silva, M ; Florido, M ; Pfenning, F ;
PUBLICAÇÃO: 2017, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 238, NÚMERO: 238
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
20
TÍTULO: Preface
AUTORES: Vivek Nigam; Mário Florido ;
PUBLICAÇÃO: 2017, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 332
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
Página 2 de 7. Total de resultados: 66.

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

Links Úteis

Ajuda

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