Mário Florido
From MaRDI portal
Person:656849
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Linear rank intersection types | 2024-11-26 | Paper |
| Type inference for rank-2 intersection types using set unification Lecture Notes in Computer Science | 2023-07-28 | Paper |
| Structural rules and algebraic properties of intersection types Lecture Notes in Computer Science | 2023-07-28 | Paper |
| Type Inference for Rank 2 Gradual Intersection Types Lecture Notes in Computer Science | 2022-08-30 | Paper |
| Pattern-based calculi with finitary matching Logic Journal of the IGPL | 2022-08-10 | Paper |
| CLP(\(\mathsf{H}\)): constraint logic programming for hedges Theory and Practice of Logic Programming | 2017-11-09 | Paper |
| Type-based cost analysis for lazy functional languages Journal of Automated Reasoning | 2017-08-15 | Paper |
| Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages Programming Languages and Systems | 2016-04-26 | Paper |
| Linearity: a roadmap Journal Of Logic And Computation | 2015-01-12 | Paper |
| Constraint logic programming for hedges: a semantic reconstruction Functional and Logic Programming | 2014-07-24 | Paper |
| Automatic amortised analysis of dynamic memory allocation for lazy functional programs Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Minimality in a linear calculus with iteration Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
| The power of closed reduction strategies Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| Type inference using constraint handling rules Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
| Certifying execution time Foundational and Practical Aspects of Resource Analysis | 2012-11-02 | Paper |
| Linearity and iterator types for Gödel's system \(\mathcal T\) Higher-Order and Symbolic Computation | 2012-01-13 | Paper |
| Gödel's system \(\mathcal T\) revisited Theoretical Computer Science | 2010-03-29 | Paper |
| The Power of Linear Functions Computer Science Logic | 2009-03-12 | Paper |
| Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs Lecture Notes in Computer Science | 2009-03-10 | Paper |
| Linear Recursive Functions Rewriting, Computation and Proof | 2009-03-06 | Paper |
| Iterator Types Foundations of Software Science and Computational Structures | 2007-09-07 | Paper |
| Logic Based Program Synthesis and Transformation Lecture Notes in Computer Science | 2005-12-27 | Paper |
| Linearization of the lambda-calculus and its relation with intersection type systems Journal of Functional Programming | 2005-09-27 | Paper |
| Weak linearization of the lambda calculus Theoretical Computer Science | 2005-09-22 | Paper |
| scientific article; zbMATH DE number 1954116 (Why is no real title available?) | 2003-07-28 | Paper |
Research outcomes over time
This page was built for person: Mário Florido
