Mário Florido

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Data Type Inference for Logic Programming.
CoRR, 2021

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

2019
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

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

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

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

Preface.
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

2015
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

2014
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

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

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

2011
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

2010
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

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

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

2007
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

2006
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

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

2004
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

2003
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

2002
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


  Loading...