António Mário da Silva Marcos Florido


AuthID: R-000-2CH

Confirmed Publications: 65



11
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: 2
IN MY: ORCID | DBLP
12
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: 1
IN MY: ORCID | DBLP
13
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: 1
IN MY: ORCID | DBLP
14
15
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
IN MY: ORCID | DBLP
16
TITLE: Preface
AUTHORS: Vivek Nigam; Mário Florido ;
PUBLISHED: 2017, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 332
INDEXED IN: CrossRef
IN MY: ORCID
17
TITLE: Preface
AUTHORS: Vivek Nigam; Mário Florido ;
PUBLISHED: 2017, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 332
INDEXED IN: Scopus
IN MY: ORCID
18
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: 14
IN MY: ORCID | DBLP
19
TITLE: CLP(H): Constraint logic programming for hedges
AUTHORS: Dundua, B ; Florido, M ; Kutsia, T;
PUBLISHED: 2016, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 16, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
20
TITLE: Lambda Calculus with Regular Types
AUTHORS: Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLISHED: 2016, SOURCE: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) in 2015 17TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC)
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
Page 2 of 7. Total results: 65.

A place for researchers and their institutions

Useful Links

Get Help

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