×

zbMATH — the first resource for mathematics

Florido, Mário

Compute Distance To:
Author ID: florido.mario Recent zbMATH articles by "Florido, Mário"
Published as: Florido, Mário; Florido, Mario
Documents Indexed: 23 Publications since 2002, including 2 Books

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 33 times in 21 Documents Cited by Year
The power of linear functions. Zbl 1225.03014
Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian
7
2006
Linear recursive functions. Zbl 1186.03064
Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian
4
2007
Gödel’s system \(\mathcal T\) revisited. Zbl 1191.68154
Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian
4
2010
Linearization of the lambda-calculus and its relation with intersection type systems. Zbl 1104.68012
Florido, Mário; Damas, Luís
2
2004
Weak linearization of the lambda calculus. Zbl 1077.68016
Alves, Sandra; Florido, Mário
2
2005
Type-based allocation analysis for co-recursion in lazy functional languages. Zbl 1335.68035
Vasconcelos, Pedro; Jost, Steffen; Florido, Mário; Hammond, Kevin
2
2015
Type inference using constraint handling rules. Zbl 1268.68042
Alves, Sandra; Florido, Mário
2
2002
The power of closed reduction strategies. Zbl 1277.03009
Alves, Sandra; Fernández, Maribel; Florido, Mario; Mackie, Ian
2
2007
Iterator types. Zbl 1195.03020
Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian
2
2007
Linearization by program transformation. Zbl 1099.68020
Alves, Sandra; Florido, Mário
1
2004
Type-based cost analysis for lazy functional languages. Zbl 1409.68067
Jost, Steffen; Vasconcelos, Pedro; Florido, Mário; Hammond, Kevin
1
2017
CLP(\(\mathsf{H}\)): constraint logic programming for hedges. Zbl 1379.68057
Dundua, Besik; Florido, Mário; Kutsia, Temur; Marin, Mircea
1
2016
Automatic amortised analysis of dynamic memory allocation for lazy functional programs. Zbl 1291.68027
Simões, Hugo; Vasconcelos, Pedro; Florido, Mário; Jost, Steffen; Hammond, Kevin
1
2012
Constraint logic programming for hedges: a semantic reconstruction. Zbl 1416.68031
Dundua, Besik; Florido, Mário; Kutsia, Temur; Marin, Mircea
1
2014
Using intersection types for cost-analysis of higher-order polymorphic functional programs. Zbl 1178.68139
Simões, Hugo R.; Hammond, Kevin; Florido, Mário; Vasconcelos, Pedro
1
2007
Type-based cost analysis for lazy functional languages. Zbl 1409.68067
Jost, Steffen; Vasconcelos, Pedro; Florido, Mário; Hammond, Kevin
1
2017
CLP(\(\mathsf{H}\)): constraint logic programming for hedges. Zbl 1379.68057
Dundua, Besik; Florido, Mário; Kutsia, Temur; Marin, Mircea
1
2016
Type-based allocation analysis for co-recursion in lazy functional languages. Zbl 1335.68035
Vasconcelos, Pedro; Jost, Steffen; Florido, Mário; Hammond, Kevin
2
2015
Constraint logic programming for hedges: a semantic reconstruction. Zbl 1416.68031
Dundua, Besik; Florido, Mário; Kutsia, Temur; Marin, Mircea
1
2014
Automatic amortised analysis of dynamic memory allocation for lazy functional programs. Zbl 1291.68027
Simões, Hugo; Vasconcelos, Pedro; Florido, Mário; Jost, Steffen; Hammond, Kevin
1
2012
Gödel’s system \(\mathcal T\) revisited. Zbl 1191.68154
Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian
4
2010
Linear recursive functions. Zbl 1186.03064
Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian
4
2007
The power of closed reduction strategies. Zbl 1277.03009
Alves, Sandra; Fernández, Maribel; Florido, Mario; Mackie, Ian
2
2007
Iterator types. Zbl 1195.03020
Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian
2
2007
Using intersection types for cost-analysis of higher-order polymorphic functional programs. Zbl 1178.68139
Simões, Hugo R.; Hammond, Kevin; Florido, Mário; Vasconcelos, Pedro
1
2007
The power of linear functions. Zbl 1225.03014
Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian
7
2006
Weak linearization of the lambda calculus. Zbl 1077.68016
Alves, Sandra; Florido, Mário
2
2005
Linearization of the lambda-calculus and its relation with intersection type systems. Zbl 1104.68012
Florido, Mário; Damas, Luís
2
2004
Linearization by program transformation. Zbl 1099.68020
Alves, Sandra; Florido, Mário
1
2004
Type inference using constraint handling rules. Zbl 1268.68042
Alves, Sandra; Florido, Mário
2
2002

Citations by Year