Mário Florido

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 24

Top Topics

Lambda Calculus

Lazy Evaluation

Logic Programming

Top Venues

Publications

Rodrigo Marques, Mário Florido, Pedro B. Vasconcelos
Towards Algebraic Subtyping for Extensible Records. CoRR (2024)
João Barbosa, Mário Florido, Vítor Santos Costa
Regular Typed Unification. CoRR (2024)
Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido
Gradual Guarantee for FJ with lambda-Expressions. FTfJP@ECOOP (2023)
Ana Carolina Silva, Manuel Barbosa, Mário Florido
Execution Time Program Verification with Tight Bounds. PADL (2023)
Miguel Abreu, Pedro Mota, Luís Paulo Reis, Nuno Lau, Mário Florido
FC Portugal: RoboCup 2023 3D Simulation League Champions. RoboCup (2023)
Sandra Alves, Mário Florido
Structural Rules and Algebraic Properties of Intersection Types. CoRR (2022)
João Barbosa, Mário Florido, Vítor Santos Costa
Typed SLD-Resolution: Dynamic Typing for Logic Programming. CoRR (2022)
Ana Carolina Silva, Manuel Barbosa, Mário Florido
Execution Time Program Verification With Tight Bounds. CoRR (2022)
Pedro Ângelo, Mário Florido
Type Inference for Rank-2 Intersection Types Using Set Unification. ICTAC (2022)
Sandra Alves, Mário Florido
Structural Rules and Algebraic Properties of Intersection Types. ICTAC (2022)
Fábio Reis, Sandra Alves, Mário Florido
Linear Rank Intersection Types. TYPES (2022)
João Barbosa, Mário Florido, Vítor Santos Costa
Typed SLD-Resolution: Dynamic Typing for Logic Programming. LOPSTR (2022)
Fábio Reis, Sandra Alves, Mário Florido
Linear Rank Intersection Types. CoRR (2022)
Pedro Ângelo, Mário Florido
A Typed Lambda Calculus with Gradual Intersection Types. PPDP (2022)
João Barbosa, Mário Florido, Vítor Santos Costa
Data Type Inference for Logic Programming. LOPSTR (2021)
João Barbosa, Mário Florido, Vítor Santos Costa
Data Type Inference for Logic Programming. CoRR (2021)
Sara Moreira, Pedro B. Vasconcelos, Mário Florido
Resource Analysis for Lazy Evaluation with Polynomial Potential. IFL (2020)
João Barbosa, Mário Florido, Vítor Santos Costa
A Three-Valued Semantics for Typed Logic Programming. ICLP Technical Communications (2019)
Pedro Ângelo, Mário Florido
Type Inference for Rank 2 Gradual Intersection Types. TFP (2019)
Sandra Alves, Besik Dundua, Mário Florido, Temur Kutsia
Pattern-based calculi with finitary matching. Log. J. IGPL 26 (2) (2018)
Steffen Jost, Pedro B. Vasconcelos, Mário Florido, Kevin Hammond
Type-Based Cost Analysis for Lazy Functional Languages. J. Autom. Reason. 59 (1) (2017)
Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
Constraint logic programming for hedges. Theory Pract. Log. Program. 16 (2) (2016)
Vivek Nigam, Mário Florido
Preface. LSFA (2016)
Miguel Silva, Mário Florido, Frank Pfenning
Non-Blocking Concurrent Imperative Programming with Session Types. LINEARITY (2016)
Vitor Rodrigues, Benny Akesson, Mário Florido, Simão Melo de Sousa, João Pedro Pedroso, Pedro B. Vasconcelos
Certifying execution time in multicores. Sci. Comput. Program. 111 (2015)
Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
CLP(H): Constraint Logic Programming for Hedges. CoRR (2015)
Besik Dundua, Mário Florido, Temur Kutsia
Lambda Calculus with Regular Types. SYNASC (2015)
Pedro B. Vasconcelos, Steffen Jost, Mário Florido, Kevin Hammond
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages. ESOP (2015)
Cláudio Amaral, Mário Florido, Vítor Santos Costa
PrologCheck - Property-Based Testing in Prolog. FLOPS (2014)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Linearity: A Roadmap. J. Log. Comput. 24 (3) (2014)
Mário Pereira, Sandra Alves, Mário Florido
Liquid Intersection Types. ITRS (2014)
Mário Florido, Ian Mackie
Linearity in Computation. J. Log. Comput. 24 (3) (2014)
Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
Constraint Logic Programming for Hedges: A Semantic Reconstruction. FLOPS (2014)
Vitor Rodrigues, Benny Akesson, Simão Melo de Sousa, Mário Florido
A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction. PADL (2013)
Hugo R. Simões, Pedro B. Vasconcelos, Mário Florido, Steffen Jost, Kevin Hammond
Automatic amortised analysis of dynamic memory allocation for lazy functional programs. ICFP (2012)
Vitor Rodrigues, Mário Florido, Simão Melo de Sousa
A Functional Approach to Worst-Case Execution Time Analysis. WFLP (2011)
Cláudio Amaral, Mário Florido, Patrik Jansson
Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples. Erlang Workshop (2011)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Linearity and recursion in a typed Lambda-calculus. PPDP (2011)
Vitor Rodrigues, João Pedro Pedroso, Mário Florido, Simão Melo de Sousa
Certifying Execution Time. FOPARA (2011)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Linearity and iterator types for Gödel's System. High. Order Symb. Comput. 23 (1) (2010)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Gödel's system tau revisited. Theor. Comput. Sci. 411 (11-13) (2010)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Linear Recursion CoRR (2010)
Jorge Coelho, Besik Dundua, Mário Florido, Temur Kutsia
A Rule-Based Approach to XML Processing and Web Reasoning. RR (2010)
Jorge Coelho, Mário Florido, Temur Kutsia
Collaborative Schema Construction using Regular Sequence Types. IRI (2009)
Sandra Alves, Mário Florido, Ian Mackie, François-Régis Sinot
Minimality in a Linear Calculus with Iteration. Electron. Notes Theor. Comput. Sci. 204 (2008)
Jorge Coelho, Mário Florido
XCentric: logic programming for XML processing. WIDM (2007)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
The Power of Closed Reduction Strategies. Electron. Notes Theor. Comput. Sci. 174 (10) (2007)
Jorge Coelho, Mário Florido
Type-Based Static and Dynamic Website Verification. ICIW (2007)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Iterator Types. FoSSaCS (2007)
Jorge Coelho, Mário Florido
XCentric: A Logic-Programming Language for XML Processing. PLAN-X (2007)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Linear Recursive Functions. Rewriting, Computation and Proof (2007)
Jorge Coelho, Mário Florido, Temur Kutsia
Sequence Disunification and Its Application in Collaborative Schema Construction. WISE Workshops (2007)
Jorge Coelho, Mário Florido
VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content. APWeb Workshops (2006)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
The Power of Linear Functions. CSL (2006)
Hugo R. Simões, Kevin Hammond, Mário Florido, Pedro B. Vasconcelos
Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs. TYPES (2006)
Sandra Alves, Mário Florido
Weak linearization of the lambda calculus. Theor. Comput. Sci. 342 (1) (2005)
Jorge Coelho, Mário Florido
CLP(Flex): Constraint Logic Programming Applied to XML Processing. CoopIS/DOA/ODBASE (2) (2004)
Mário Florido, Luís Damas
Linearization of the lambda-calculus and its relation with intersection type systems. J. Funct. Program. 14 (5) (2004)
Jorge Coelho, Mário Florido
Type-Based XML Processing in Logic Programming. PADL (2003)
Sandra Alves, Mário Florido
Linearization by Program Transformation. LOPSTR (2003)
Sandra Alves, Mário Florido
Type Inference using Constraint Handling Rules. Electron. Notes Theor. Comput. Sci. 64 (2002)
Sandra Alves, Mário Florido
On the Relation between Rank 2 Intersection Types and Simple Types. APPIA-GULP-PRODE (2002)