António Mário da Silva Marcos Florido


AuthID: R-000-2CH

Confirmed Publications: 66



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

footer slogan

Useful Links

Get Help

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