António Mário da Silva Marcos Florido


AuthID: R-000-2CH

Confirmed Publications: 65



11
TITLE: Type Inference for Rank-2 Intersection Types Using Set Unification
AUTHORS: Pedro Ângelo; Mário Florido ;
PUBLISHED: 2022, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
12
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
13
TITLE: Resource Analysis for Lazy Evaluation with Polynomial Potential
AUTHORS: Sara Moreira; Pedro B Vasconcelos ; Mário Florido ;
PUBLISHED: 2020, SOURCE: IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, Virtual Event / Canterbury, UK, September 2-4, 2020
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP | CIÊNCIAVITAE
14
TITLE: A Three-Valued Semantics for Typed Logic Programming PDF  Full Text
AUTHORS: João Barbosa ; Mário Florido ; Vítor Santos Costa ;
PUBLISHED: 2019, SOURCE: 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 in Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019., VOLUME: 306
INDEXED IN: Scopus DBLP arXiv CrossRef: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
15
TITLE: Type Inference for Rank 2 Gradual Intersection Types
AUTHORS: Ângelo, Pedro ; Mário Florido ;
PUBLISHED: 2019, SOURCE: 20th International Symposium on Trends in Functional Programming, TFP 2019 in Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers, VOLUME: 12053
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
16
TITLE: Pattern-based calculi with finitary matching
AUTHORS: Sandra Alves ; Besik Dundua ; Mario Florido ; Temur Kutsia;
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
17
18
TITLE: Non-Blocking Concurrent Imperative Programming with Session Types PDF  Full Text
AUTHORS: Miguel Silva ; Mario Florido ; Frank Pfenning ;
PUBLISHED: 2017, SOURCE: 4th International Workshop on Linearity, LINEARITY 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 238, ISSUE: 238
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
19
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
20
TITLE: Type-Based Cost Analysis for Lazy Functional Languages  Full Text
AUTHORS: Steffen Jost; Pedro Vasconcelos ; Mario Florido ; Hammond, Kevin ;
PUBLISHED: 2017, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 59, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 15
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 2 of 7. Total results: 65.

footer slogan

Useful Links

Get Help

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