Mário Florido

According to our database1, Mário Florido authored at least 47 papers between 2002 and 2021.

Collaborative distances:



In proceedings 
PhD thesis 


On csauthors.net:


Data Type Inference for Logic Programming.
CoRR, 2021

Resource Analysis for Lazy Evaluation with Polynomial Potential.
Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

A Three-Valued Semantics for Typed Logic Programming.
Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

Type Inference for Rank 2 Gradual Intersection Types.
Proceedings of the Trends in Functional Programming - 20th International Symposium, 2019

Pattern-based calculi with finitary matching.
Log. J. IGPL, 2018

Type-Based Cost Analysis for Lazy Functional Languages.
J. Autom. Reason., 2017

<i>CLP(H): </i> Constraint logic programming for hedges.
Theory Pract. Log. Program., 2016

Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016

Non-Blocking Concurrent Imperative Programming with Session Types.
Proceedings of the Proceedings Fourth International Workshop on Linearity, 2016

Certifying execution time in multicores.
Sci. Comput. Program., 2015

CLP(H): Constraint Logic Programming for Hedges.
CoRR, 2015

Lambda Calculus with Regular Types.
Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages.
Proceedings of the Programming Languages and Systems, 2015

Linearity in Computation.
J. Log. Comput., 2014

Linearity: A Roadmap.
J. Log. Comput., 2014

Liquid Intersection Types.
Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014

Constraint Logic Programming for Hedges: A Semantic Reconstruction.
Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

PrologCheck - Property-Based Testing in Prolog.
Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction.
Proceedings of the Practical Aspects of Declarative Languages, 2013

Automatic amortised analysis of dynamic memory allocation for lazy functional programs.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

A Functional Approach to Worst-Case Execution Time Analysis.
Proceedings of the Functional and Constraint Logic Programming, 2011

Linearity and recursion in a typed Lambda-calculus.
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

Certifying Execution Time.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2011

Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples.
Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011

Gödel's system tau revisited.
Theor. Comput. Sci., 2010

Linearity and iterator types for Gödel's System.
High. Order Symb. Comput., 2010

Linear Recursion
CoRR, 2010

A Rule-Based Approach to XML Processing and Web Reasoning.
Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

Collaborative Schema Construction using Regular Sequence Types.
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2009

Minimality in a Linear Calculus with Iteration.
Electron. Notes Theor. Comput. Sci., 2008

The Power of Closed Reduction Strategies.
Electron. Notes Theor. Comput. Sci., 2007

Sequence Disunification and Its Application in Collaborative Schema Construction.
Proceedings of the Web Information Systems Engineering - WISE 2007 Workshops, 2007

XCentric: logic programming for XML processing.
Proceedings of the 9th ACM International Workshop on Web Information and Data Management (WIDM 2007), 2007

XCentric: A Logic-Programming Language for XML Processing.
Proceedings of the PLAN-X 2007, 2007

Type-Based Static and Dynamic Website Verification.
Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007

Iterator Types.
Proceedings of the Foundations of Software Science and Computational Structures, 2007

Linear Recursive Functions.
Proceedings of the Rewriting, 2007

Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs.
Proceedings of the Types for Proofs and Programs, International Workshop, 2006

The Power of Linear Functions.
Proceedings of the Computer Science Logic, 20th International Workshop, 2006

VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content.
Proceedings of the Advanced Web and Network Technologies, and Applications, 2006

Weak linearization of the lambda calculus.
Theor. Comput. Sci., 2005

Linearization of the lambda-calculus and its relation with intersection type systems.
J. Funct. Program., 2004

CLP(Flex): Constraint Logic Programming Applied to XML Processing.
Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004

Type-Based XML Processing in Logic Programming.
Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

Linearization by Program Transformation.
Proceedings of the Logic Based Program Synthesis and Transformation, 2003

Type Inference using Constraint Handling Rules.
Electron. Notes Theor. Comput. Sci., 2002

On the Relation between Rank 2 Intersection Types and Simple Types.
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002