Mário Florido

Available identifiers

zbMath Open florido.marioMaRDI QIDQ656849

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mário Florido