Mário Florido

Available identifiers

zbMath Open florido.marioMaRDI QIDQ656849

List of research outcomes

Publication	Date of Publication	Type
Linear rank intersection types	2024-11-26	Paper
Type inference for rank-2 intersection types using set unification	2023-07-28	Paper
Structural rules and algebraic properties of intersection types	2023-07-28	Paper
Type Inference for Rank 2 Gradual Intersection Types	2022-08-30	Paper
Pattern-based calculi with finitary matching	2022-08-10	Paper
CLP(H):Constraint logic programming for hedges	2017-11-09	Paper
Type-based cost analysis for lazy functional languages	2017-08-15	Paper
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages	2016-04-26	Paper
Linearity: A Roadmap	2015-01-12	Paper
Constraint Logic Programming for Hedges: A Semantic Reconstruction	2014-07-24	Paper
Automatic amortised analysis of dynamic memory allocation for lazy functional programs	2014-07-21	Paper
Minimality in a linear calculus with iteration	2014-01-24	Paper
The power of closed reduction strategies	2013-12-06	Paper
Type inference using constraint handling rules	2013-07-24	Paper
Certifying Execution Time	2012-11-02	Paper
Linearity and iterator types for Gödel's system \(\mathcal T\)	2012-01-13	Paper
Gödel's system \(\mathcal T\) revisited	2010-03-29	Paper
The Power of Linear Functions	2009-03-12	Paper
Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs	2009-03-10	Paper
Linear Recursive Functions	2009-03-06	Paper
Iterator Types	2007-09-07	Paper
Logic Based Program Synthesis and Transformation	2005-12-27	Paper
Linearization of the lambda-calculus and its relation with intersection type systems	2005-09-27	Paper
Weak linearization of the lambda calculus	2005-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4415112	2003-07-28	Paper

Research outcomes over time

This page was built for person: Mário Florido